Software Developer und Verification Expert (m/w/d)

Optimale Perspektiven | Neue Möglichkeiten | Mit Sicherheit

secunet ist Deutschlands führendes Cybersecurity-Unternehmen. In einer zunehmend vernetzten Welt sorgt das Unternehmen mit der Kombination aus Produkten und Beratung für widerstandsfähige, digitale Infrastrukturen sowie den höchstmöglichen Schutz für Daten, Anwendungen und digitale Identitäten. secunet ist dabei spezialisiert auf Bereiche, in denen es besondere Anforderungen an die Sicherheit gibt – wie z. B. Cloud, IIoT, E-Government und E-Health. Mit den Sicher­heits­lösungen von secunet können Unternehmen höchste Sicher­heits­standards in Digi­tali­sierungs­projekten einhalten und damit ihre digitale Trans­formation vorantreiben.

Für unsere Abteilung Software Development & Verification in der Division Defence & Space suchen wir für einen unserer Standorte in Berlin oder Dresden zum nächst­mög­lichen Zeitpunkt Deinen klugen Kopf.

Deine Aufgaben

• Du bist zuständig für die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritischer Komponenten.
• Hierbei mit der primären Verwendung von Ada / SPARK 2014 und der Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften von vertrauenswürdigen Komponenten.
• Du übernimmst die Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt und unterstützt bei Tests, Fehleranalysen und der Fehlerbeseitigung sowie die Erstellung von Dokumentationen.

Dein Profil | Du verfügst über

• 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

Unser Angebot

• Echter Teamgeist: Mitarbeit in Teams, die Veränderungen vorantreiben – egal wie kompliziert und umfangreich Projekte sind
• Gesellschaftliche Relevanz: Wir arbeiten an Lösungen, die Gamechanger-Qualitäten haben – auf allen Gebieten der IT-Sicherheit
• Individuelle Weiterentwicklung: Karriere ist bei uns kein Standard­rezept. Wir entwickeln uns gemeinsam weiter und unter­stützen Dich mit dem, was Du für Dich brauchst, um weiterzukommen
• Der Mensch im Fokus: In unserer Vielfalt liegt die Kraft. Wir respektieren uns gegenseitig so, wie wir sind. Uns liegt zudem die Vereinbarkeit von Beruf, Familie und Privatleben am Herzen. Hier sind wir seit 2025 zertifiziert
• Flexibles Arbeiten: Zwölf Standorte in Deutschland, Mobile Office, Shared-Desk-Modell, Vertrauens­arbeitszeit und flexible Teilzeit­modelle. Da ist für jeden das passende Modell dabei
• Sonne, Strand oder Berge: Arbeiten im EU-Ausland? Kein Problem – Du kannst pro Jahr bis zu 20 Tage remote innerhalb der EU arbeiten
• Schöne Benefits obendrauf: Freue Dich auf Bike-Leasing, Firmenfitness-Programm, vergünstigtes Jobticket, secudog und vieles mehr

Wenn Du gern an der Spitze der techno­lo­gischen Ent­wicklung arbeiten möchtest, in einem Klima, das von Ver­trauen und Fairness geprägt ist, sollten wir uns kennen­lernen.

Dein Kontakt zu uns

Wir freuen uns auf Deine vollständige Bewerbung, in der Du bitte Deine Kündigungsfrist, Deine Gehalts­vorstellung sowie die Kennziffer 3176/F angibst. Bitte nutze dafür unser Online­bewerbungs-Formular.

secunet Security Networks AG
Frau Katrin Krause
Kurfürstenstraße 58
45138 Essen

» Onlinebewerbung

Telefon: +49 201 5454-0
www.secunet.com/karriere