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

Stefan Leue Stefan.Leue at uni-konstanz.de
Mon Mar 28 04:41:16 EDT 2022

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
Email:  Stefan.Leue at uni-konstanz.de
WWW:    https://urldefense.com/v3/__http://sen.uni-konstanz.de__;!!IBzWLUs!E6CDUFzvL7B9fNFGSMEwpjk19sSGleQnj-LkOPOwpdtiQqryrNUkNUrCDDZhLOEKX0CSWRC0E01CTA$ 

More information about the Types-announce mailing list