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 Sicherheitslösungen von secunet können Unternehmen höchste Sicherheitsstandards in Digitalisierungsprojekten einhalten und damit ihre digitale Transformation vorantreiben.
Für unseren Entwicklungsbereich in der Division Defence & Space suchen wir für einen unserer Standorte in Berlin oder Dresden zum nächstmöglichen Zeitpunkt Deinen klugen Kopf.
- die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische Komponenten; hierbei die primäre Verwendung von Ada / SPARK 2014
- die Anwendung formaler Methoden zum Nachweis kritischer Eigenschaften vertrauenswürdiger Komponenten
- die Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt
- die Unterstützung bei Test, Fehleranalysen und Fehlerbeseitigung sowie die Erstellung von Dokumentationen
- ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik oder einen vergleichbaren Abschluss oder eine Ausbildung mit entsprechender Berufserfahrung
- Kenntnisse oder Erfahrung in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systemen
- wünschenswert sind Kenntnisse in :
sicheren Programmiersprachen (Ada / SPARK, Rust, FRAMA-C etc.)
formalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving etc.)Betriebssystemen, Mikrokernen, Separation Kernel, Linuxden Bereichen IT-Sicherheit, angewandte Kryptografie, Informationssicherheitder Intel-x86-Architektur und -Virtualisierungsehr gute Deutsch- und gute Englischkenntnisse in Wort und Schrift runden Dein Profil abEchter Teamgeist : Mitarbeit in Teams, die Veränderungen vorantreiben – egal wie kompliziert und umfangreich Projekte sindGesellschaftliche Relevanz : Wir arbeiten an Lösungen, die Gamechanger-Qualitäten haben – auf allen Gebieten der IT-SicherheitIndividuelle Weiterentwicklung : Karriere ist bei uns kein Standardrezept. Wir entwickeln uns gemeinsam weiter und unterstützen Dich mit dem, was Du für Dich brauchst, um weiterzukommenDer 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 zertifiziertFlexibles Arbeiten : Zwölf Standorte in Deutschland, Mobile Office, Shared-Desk-Modell, Vertrauensarbeitszeit und flexible Teilzeitmodelle. Da ist für jeden das passende Modell dabeiSonne, Strand oder Berge : Arbeiten im EU-Ausland? Kein Problem – Du kannst pro Jahr bis zu 20 Tage remote innerhalb der EU arbeitenSchöne Benefits obendrauf : Freue Dich auf Bike-Leasing, Firmenfitness-Programm, vergünstigtes Jobticket, secudog und vieles mehrWenn Du gern an der Spitze der technologischen Entwicklung arbeiten möchtest, in einem Klima, das von Vertrauen und Fairness geprägt ist, sollten wir uns kennenlernen.