Software Developer & Verification (m/w/d)

secunet

Aktualisiert: 11.01.2026

Berlin

online seit dem 09.01.2026

secunet

Beschreibung: Deine Aufgaben | Du übernimmst:
- 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
Dein Profil | Du verfügst über
- ein erfolgreich absolvie...


Für die Richtigkeit der Daten übernimmt der 1A-Stellenmarkt.de keine Verantwortung. Copyright © 1999-2026 - 1A Infosysteme GmbH