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

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 Gesamtprodu...
Weitere Informationen zu diesem Stellenangebot