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ächstmöglichen Zeitpunkt Deinen klugen Kopf.
Du übernimmst die Integration in das aus Hardware- und Softwareanteilen bestehende Gesamtprodukt und unterstützt bei Tests, Fehleranalysen und der Fehlerbeseitung, ebenso die Erstellung von Dokumentationen.
ein erfolgreich absolviertes Hochschulstudium im Bereich der Informatik, einen vergleichbarer Abschluss oder entsprechende Berufserfahrung
~ eine Promotion in relevanten Themenstellungen ist wünschenswert, aber nicht erforderlich
~ Kenntnisse oder Erfahrungen in der Softwareentwicklung, idealerweise im Bereich sicherheitsrelevanter Systeme
~ formalen Methoden (Isabelle, Coq, Why3, LEAN, SMT-Solving, ...)
~ Betriebssystementwicklung insbesondere Mikrokerne, Separation Kernel, 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. Flexibles Arbeiten : 12 Standorte in Deutschland, Shared Desk-Modell, Vertrauensarbeitszeit und flexible Teilzeitmodelle. 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
Frau Katrin Krause