Doctoral / Post-Doctoral Position in Computer Science
Universit盲t Konstanz

Konstanz

Temporary

Full Time

Apply by: 2025-08-30

Published: 2025-07-04

PhD Position - Universit盲t Konstanz - Headerbild

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 铿乴ling the position is expected to contribute to the goals of the DFG-funded research project 鈥淪CADNet鈥�
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 veri铿乧ation 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 .

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 . Persons with disabilities are explicitly encouraged to apply. They will be given preference if appropriately quali铿乪d (sbv@uni-konstanz.de, + 49 7531 88-4016).

Job location

Additional actions