Postdoctoral Position in Formal Methods and Verification at the University of Konstanz [D]

The position under Prof. Stefan Leue, The Chair for Software and Systems Engineering, is available immediately. . The position is initially available for up to two years with the possibility of extension. Exceptional PhD candidates may also be considered if they are at an advanced stage of their doctoral studies.

The successful candidate is expected to contribute to the goals of the DFG-funded research project “SCADNet”. In this context, research contributions in at least two of the areas formal verification, formal guarantees for Deep Neural Networks, models of causality, automated repair of real-time systems, system safety, formal techniques in legal tech, and generally formal methods and verification are of great interest.