Aufgaben Du bist zuständig für die Entwicklung Komponenten-basierter Systeme, insbesondere sicherheitskritische Komponenten. Hierbei mit der primären Verwendung von Ada/SPARK 2014