Post-Doctoral Position in Computer Science

### (Fulltime, E 13 TV-L)

Reference No.: 2025/245.

The position is available immediately. The start date is no later than June 1st, 2026. 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 Chair for Software and Systems Engineering conducts active research in the development of methods and tools for the design of complex software systems, with a current focus on formal and algorithmic methods for machine learning.

Your Responsibilities

• The successful candidate is expected to contribute to the goals of the research project "SCADNet”
• 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, and formal techniques in legal tech
• Some support of the teaching activities and the administrative duties of the Chair

Your Competencies

We require candidates to possess an excellent graduate degree in Computer Science or Computer Engineering. Further requirements include:

• A background in formal and algorithmic system modeling and analysis and in the foundations of Machine Learning
• An initial international research record in at least one of the mentioned areas that this position is responsible for
• Excellent written and oral communications skills in English. These 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
• There is the opportunity to work towards a habilitation or a doctoral degree
• The University of Konstanz is an attractive workplace location on Lake Constance
• Recreational destinations (Alps, Black Forest…) and the Zurich metropolitan area are within easy reach
• The University of Konstanz offers an employer subsidy for public transportation (JobTicket BW / Deutschlandticket)

https://www.uni-konstanz.de/en/division-of-human-resources/job-opportunities/working-with-the-university-of-konstanz/

The working language is English. Knowledge of the German language is not required. 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 January 6th, 2026 via our Online Application Portal. (https://stellen.uni-konstanz.de/en/jobposting/64107b4a4fa3e9f11fa7cf4ccb6f9e7b6086f5260/apply)

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 (https://www.uni-konstanz.de/en/equalopportunities/family/dual-career/) . 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).

Bereitgestellt in Kooperation mit der Bundesagentur für Arbeit.