Doctoral / Post-Doctoral Position in Computer Science
(Fulltime, E 13 TV-L)
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 University of Konstanz is one of eleven Universities of Excellence in Germany. Since 2007 it has been successful in the German Excellence Initiative and its follow-up programme, the Excellence Strategy.
The Chair for Software and Systems Engineering conducts active research in the development of methods and tools for the design of complex software and systems, with a special emphasis on formal and algorithmic methods.
Your Responsibilities
* The candidate filling 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
* Some support of the teaching activities and the administrative duties of the Chair is expected
* The working language is English
* Knowledge of the German language is not required
* For post-doctoral candidates there is the opportunity to work towards a habilitation degree
Your Competencies
* We expect candidates to possess an excellent graduate degree in Computer Science or a very closely related area
* A background in formal and algorithmic system modeling and analysis and knowledge of Machine Learning techniques and infrastructures are desirable
* Excellent written and oral communications skills in English need to be proven in the application
We Offer
* We offer a work environment within a dynamic team of researchers in which we foster a communicative atmosphere and a direct and personal thesis supervision (if applicable)
* The University of Konstanz is an attractive workplace location on Lake Constance within easy reach of excellent recreational destinations (Alps, Black Forest)
* It also offers an employer subsidy for the JobTicket BW / Deutschlandticket (free public local and regional transportation within all of Germany)
Questions can be directed to Prof. Dr. Stefan Leue, stefan.leue@uni-konstanz.de .
We look forward to receiving your application with the usual documents (including a cover letter, CV, complete transcripts, statement of purpose, names of 3 references) by August 30th, 2025 via our Online Application Portal .
The University of Konstanz is committed to ensuring an environment that provides equal opportunities and promotes diversity, as well as a good balance between university and family life. As an equal opportunity employer, we strive to increase the number of women working in research and teaching. We also support working couples through our dual career programme. Persons with disabilities are explicitly encouraged to apply. They will be given preference if appropriately qualified (contact sbv@uni-konstanz.de, + 49 7531 88-4016).