Doctoral/Postdoctoral Position in Formal Methods and Verification, Konstanz (Germany)

The Chair for Software and Systems Engineering (Prof. Stefan Leue) of the University of Konstanz (Germany) has the opening of a full-time Doctoral / Post-Doctoral Position (reference no. 2025/152). The start date is October 1st, 2025 (or a mutually agreeable later date, but no later than April 1st, 2026). The position is initially available for two years with the possibility of extension.

The position is expected to contribute to the goals of the DFG-funded research project “SCADNet”. In this context, research interests in formal guarantees for Deep Neural Networks, foundations and models of causality, automated repair of real-time systems, system safety, formal techniques in legal tech, and generally formal methods and verification are welcome. The working language is English. Proficiency in German is not a prerequisite. Renumeration is according to the TV-L labor agreement in the EG 13 payscale, amounting to at least € 57.000,00 p.a.