Doctoral / Post-Doctoral Position in Computer Science

(full-time, E 13 TV-L)

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 dissertation. In principle, this position can be divided into two part-time positions.

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 was founded in 2004 and 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.

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. In our largely English language teaching we offer a variety of courses in the wider area of software and systems engineering. The working language is English.

Your Responsibilities

• Carrying out exciting and cutting-edge research in the realm of the interest of the Chair
• Contribution to the definition of research projects and directions
• Presentation of research results at international conferences
• Co-supervision of student research assistants as well as undergraduate and graduate level projects and theses
• Support of the teaching activities of the Chair, in particular by offering tutorials

Your Competencies

• Excellent undergraduate and graduate degrees in Computer Science or a very closely related area
• Background in formal and algorithmic system modeling and analysis
• Knowledge of Machine Learning techniques is an asset
• Excellent written and oral communications skills in English are required and need to be proven in the application
• German language competencies are an advantage but not strictly required
• Proven software development experience

We Offer

• A dynamic team of researchers and teachers
• Communicative atmosphere and a direct and personal thesis supervision
• Excellent workplace with cutting-edge hardware equipment and funding for international travel
• Opportunities for industrial collaborations
• Attractive workplace location on Lake Constance within easy reach of excellent outdoor opportunities (Alps, Black Forest…)

Questions can be directed to Prof. Dr. Stefan Leue via e-mail: stefan.leue@uni-konstanz.de. 

We look forward to receiving your application with the usual documents by 24.04.2022 via our Online Application Portal.