Monday, March 28, 2022

[DMANET] PhD Student / Post-Doc Position at University of Konstanz

The Chair for Software and Systems Engineering (Prof. Stefan Leue) of
the University of Konstanz has the immediately opening of a full-time

PhD Student / Post-Doc position.

Reference Number 2022/078. The start date is July 1st, 2022, or by
mutual agreement. The position is initially available for three years
(Doctoral Position) or two years (Post-Doctoral Position) with a
possibility of extension. Preference will be given to Doctoral
candidates. The position will allow for the writing of a doctoral

The position is to support the research, teaching and administrative
activities of the Chair for Software and Systems Engineering. Our
research interests span a wide spectrum of topics in systems and formal
methods, ranging from model checking, SMT solving, real-time systems,
hybrid systems, system analysis, causality, automated repair,
verification of machine learning, automotive functional safety, software
tool environments to formal modeling in Legal Tech. The working language
is English. Excellent undergraduate and graduate degrees (or doctoral
degree in case of a Post-Doc application) in Computer Science or a very
closely related area are a prerequisite.

Renumeration is according to the TV-L labor agreement in the EG 13
payscale, amounting to at least approx. € 50.000,00 p.a.

Application deadline: April 24, 2022.

For more information and application instructions please see

I will be happy to answer further questions, and look forward to your
qualified application!

Stefan Leue

Prof. Dr. Stefan Leue

Chair for Software and Systems Engineering
Department of Computer and Information Science
University of Konstanz, Box 67
D-78457 Konstanz, Germany

Office: PZ902

Phone: +49 (0)7531 88 2893, ~4631 (secretary)
Home: +49 (0)7533 949 2182
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.