Die Arbeitsgruppe für Test, Validierung und Analyse Software-intensiver Systeme (TVA) am Institut für Systemsicherheit und Verlässlichkeit (KASTEL) hat aktuell offene Stellen als wissenschaftliche/r Mitarbeiter/in (m, w, d) (TVL E13, Vollzeit) in unterschiedlichen Themenbereichen.

Mögliche Arbeitsschwerpunkte sind Correctness-by-Construction Engineering, Formale Methoden im Software Engineering, Szenario-basiertes Testen von autonomen Fahrfunktionen, Softwareanalyse und Re-Engineering, Variabilitäts- und Variantenmangement und effiziente Testverfahren für variantenreiche Softwaresysteme, KI-Methoden im Software Engineering, und Software Engineering für Quantum Computing. Unsere Projekte sind sowohl öffentlich gefördert, sowie finanziert von Partnern aus der Industrie, vorwiegend im Bereich Automotive.

Forschungsgruppe für Test, Validierung und Analyse Software-intensiver Systeme (TVA)

Institut für Systemsicherheit und Verlässlichkeit (KASTEL)

Ab sofort

Prof. Dr.-Ing. Ina Schaefer