Salary: 60.000 - 90.000 € per year Requirements: ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbaren Abschluss oder entsprechende Berufserfahrung eine Promotion in relevanten Themenstellungen ist wünschenswert, aber nicht erforderlich Kenntnisse oder Erfahrung in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme umfangreiche Kenntnisse oder Erfahrungen in einem oder mehreren Themengebieten: - sichere Programmiersprachen (Ada / SPARK, Rust, FRAMA-C etc.) - formale Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving etc.) - Betriebssystementwicklung, insbesondere Mikrokerne, Separation Kernel und Linux - IT-Sicherheit - angewandte Kryptographie sehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift Responsibilities: zuständig für die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritischer Komponenten primäre Verwendung von Ada / SPARK 2014 und Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften von vertrauenswürdigen Komponenten Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt Unterstützung bei Tests, Fehleranalysen und der Fehlerbeseitigung Erstellung von Dokumentationen Technologies: Ada Hardware Linux Rust Spark Cloud Mobile More: Wir sind secunet, Deutschlands führendes Cybersecurity-Unternehmen, spezialisiert auf den Schutz von Daten, Anwendungen und digitalen Identitäten in einer vernetzten Welt. In unserer Abteilung Software Development & Verification in der Division Defence & Space freuen wir uns über Teammitglieder, die mit uns in Berlin oder Dresden an sicheren und innovativen Lösungen arbeiten. Wir bieten individuelle Weiterentwicklung, Flexibilität und eine starke Teamkultur, die auf Vertrauen und Fairness basiert. last updated 10 week of 2026