Academic Staff Member (f/m/d) in Project A04

The Collaborative Research Center "Convide – Consistency in the View-Based Development of Cyber-Physical Systems" is researching methods and developing tools for constructing software-intensive technical systems. Convide brings together researchers with a background in computer science, mechanical engineering, and electrical engineering from Karlsruhe Institute of Technology, Technical University Munich, Technical University Dresden, and the University of Mannheim. Together, they aim to shorten development cycles and update intervals as well as to improve the adaptability, reliability, and security of modern Cyber-Physical Systems. 

Job Description

The group of Professor André Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Systems at Karlsruhe Institute of Technology (KIT), is recruiting a doctoral researcher in full-time for Project A04: Consistency of Hybrid / Continuous Models. The project’s main goal is to quantify (in)consistency by means of model checking, proof, testing, and runtime verification. Together with the groups of Professor Matthias Althoff and Professor Alexander Pretschner at the Technical University of Munich (TUM), the doctoral researcher will develop methods to systematically quantify verification results for functional consistency of continuous and hybrid system components in a V-SUM meta-model based on model checking technology.

Personal Qualification

• Excellent master's degree in computer science, mathematics or related subjects.
• Strong demonstrable commitment to research.
• Strong background in proof-based sciences such as logic, mathematics, theorem proving, formal methods, or programming language principles.
• Strong background in mathematics, physics, or engineering.
• Proficiency in English, excellent speaking and writing skills.
• Experience in software development projects is a plus.

What We Offer

We offer excellent research and work conditions through inclusion in an internationally highly visible team of outstanding researchers. Candidates have access to 30 days of paid vacation and will receive a competitive salary (starting at approx. 58.000€ before taxes). Additionally, candidates have access to a wide range of training opportunities, flexible working time models, a subsidy for the Deutschlandticket, and a mensa/cafeteria.