Software Developer & Verification Expert (m/w/d) - Anwendungsentwicklung, Ingenieur

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 bist zuständig für die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische 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 Integ...
Weitere Informationen zu diesem Stellenangebot