Wissenschaftliche/r Mitarbeiter/in (m, w, d) (TVL E13, Vollzeit)
-
Stellenausschreibung:
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.
-
Fakultät/Abteilung:
Forschungsgruppe für Test, Validierung und Analyse Software-intensiver Systeme (TVA)
-
Institut:
Institut für Systemsicherheit und Verlässlichkeit (KASTEL)
-
Eintrittstermin:
Ab sofort
- Kontaktperson: