Software Developer und Verification Expert

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. 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 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 Standardrezept. Wir entwickeln uns gemeinsam weiter und unterstü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, Vertrauensarbeitszeit und flexible Teilzeitmodelle. 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 Jobtick… Original Stellenanzeige auf StepStone.de - Jetzt Jobagent bei StepStone einrichten und Traumjob finden! https://bit.ly/2KOagYD Mehr Informationen zu Arbeitgebern, Gehaltsdaten und Karrieretipps finden Sie auf StepStone.de