Doctoral / Post-Doctoral Position: The University of Konstanz is seeking candidates for a full-time Doctoral/Post-Doctoral position in Computer Science, focusing on the development of methods and tools for complex software and systems. This opportunity emphasizes formal and algorithmic methods, particularly in conjunction with the DFG-funded research project “SCADNet.”
Doctoral / Post-Doctoral Position in Computer Science
Designation:
Full-Time Researcher (Doctoral/Post-Doctoral)
Research Area:
- Formal guarantees for Deep Neural Networks
- Foundations and models of causality
- Automated repair of real-time systems
- System safety
- Formal techniques in legal tech
- Formal methods and verification
Location:
University of Konstanz, Germany
Eligibility/Qualification:
- An excellent graduate degree in Computer Science or a closely related area
- A background in formal and algorithmic system modeling and analysis
- Knowledge of Machine Learning techniques and infrastructures is desirable
- Excellent written and oral communication skills in English
- Knowledge of German is not required
Job Description:
The successful candidate will:
- Contribute to the objectives of the DFG-funded research project “SCADNet”
- Engage in research focusing on defined areas of interest
- Provide support for teaching activities and administrative duties within the Chair for Software and Systems Engineering
- Benefit from a dynamic research environment with personal thesis supervision
- Have the opportunity to pursue a habilitation degree (for post-doctoral candidates)
How to Apply:
Interested candidates should submit their applications, including a cover letter, CV, complete transcripts, a statement of purpose, and the names of three references. Applications should be made via the Online Application Portal.
Last Date to Apply:
August 30, 2025
For any queries, please contact Prof. Dr. Stefan Leue at stefan.leue@uni-konstanz.de. The University of Konstanz promotes diversity and equal opportunities, encouraging applications from women and individuals with disabilities.
