The Working Group for Test, Validation and Analysis of Software-Intensive Systems (TVA) at the Institute of Information Security and Dependability (KASTEL) currently has open positions as research assistant (m, w, d) (TVL E13, full-time) in various subject areas.

Possible work focuses on correctness-by-construction engineering, formal methods in software engineering, scenario-based testing of autonomous driving functions, software analysis and re-engineering, variability and variant management and efficient testing methods for variant-rich software systems, AI methods in software engineering, and software engineering for quantum computing. Our projects are both publicly funded and financed by industry partners, mainly in the automotive domain.

Research Group for Test, Validation and Analysis of Software-Intensive Systems (TVA)

Institute of Information Security and Dependability (KASTEL)

Immediately

Prof. Dr.-Ing. Ina Schaefer