Software Developer & Verification Expert
In dieser Position entwickelst du sicherheitskritische Komponenten mit Ada/SPARK 2014, wendest formale Methoden an, integrierst Systeme und führst Tests sowie Fehleranalysen durch, einschließlich Dokumentationserstellung.