Post-Doctoral Position in Computer Science: The University of Konstanz is inviting applications for a full-time post-doctoral position in Computer Science within the Chair for Software and Systems Engineering. This position offers an opportunity to engage in cutting-edge research in formal methods and algorithmic techniques concerning machine learning.
Designation
Post-Doctoral Researcher in Computer Science
Job Details
| Field | Details |
|---|---|
| Reference No. | 2025/245 |
| Start Date | Available immediately, no later than June 1st, 2026 |
| Duration | Initially up to two years with the possibility of extension |
| Location | University of Konstanz, Lake Constance, Germany |
Research Area
The position primarily focuses on the following research 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
Eligibility/Qualification
- Excellent graduate degree in Computer Science or Computer Engineering
- Background in formal and algorithmic system modeling and analysis
- Foundations of Machine Learning
- Initial international research record in at least one of the specified areas
- Excellent written and oral communication skills in English
Job Description
- Contribute to the research project “SCADNet”
- Provide research contributions in at least two designated areas
- Support teaching activities and administrative duties of the Chair
How to Apply
Interested candidates should submit the following documents via the Online Application Portal:
- Cover letter
- Curriculum Vitae (CV)
- Complete transcripts
- Statement of purpose
- Names of three references
Last Date to Apply
Applications must be submitted by January 6th, 2026.
The University of Konstanz is committed to equal opportunities and diversity and encourages applications from women and individuals with disabilities. For inquiries, please contact Prof. Dr. Stefan Leue at stefan.leue@uni-konstanz.de.
