PhD and PostDoc Positions in Formal Methods at KIT

by Bernhard Beckert, Aug. 4, 2023

We are hiring PhD Researchers and Postdoctoral Researchers
in applied formal methods for software and algorithm engineering

We are hiring:

   PhD Researchers and Postdoctoral Researchers
   in applied formal methods for software and algorithm engineering

Are you ready to embark on a thrilling scientific journey bringing together the precision of rigorous formal foundations with the latest advances in software and algorithm engineering research? Then apply now to shape the future of formal verification in an excellent working environment.

We are delighted to announce several Ph.D. and PostDoc positions in the group Application-oriented Formal Verification. The group is part of the Institute for Information Security and Dependability (KASTEL) and the KIT Department of Informatics, one of the leading Computer Science Departments in Germany.

Within the DFG CRC 1608: Convide – Consistency in the View-Based Development of Cyber-Physical Systems, we plan to investigate the application of formal methods to establish, exploit, and recover consistency in domain-spanning models within the Model-Driven Development of cyber-physical systems.
In the Helmholtz Pilot Programme: KiKIT – Kerninformatik we will explore how formal refinement approaches empower us to tackle the complexity of sophisticated models in a modular and collaborative manner. By leveraging different formal techniques and abstractions, we aim to integrate diverse approaches with a particular focus on cyber-physical systems.

We are seeking PhD candidates and postdoctoral researchers with the following qualifications:
• a very good master's degree (MSc) in Computer Science or a related field (PhD candidates) or a PhD degree in computer science, software engineering, systems engineering, or a related discipline (postdocs)
• a strong background in formal methods,
• ideally a background in software engineering and/or algorithm engineering,
• a strong commitment to research: independent work ethic and a passion for working independently and in teams on challenging research questions,
• excellent communication skills, both written and verbal,
• proficiency in English, German language skills are an advantage.

The positions will be full-time employee positions at KIT (TV-L E13), offering a competitive salary starting at approximately 4200-4800 €/month (before taxes). We provide an excellent working environment within a vibrant and internationally recognized research group.

Benefits from a position at KIT:
• Graduate school within the CRC Convide
• Access to a network of leading scientists, computer scientists, and engineers.
• Opportunities to collaborate with interdisciplinary teams working on complex software-intensive technical systems.
• Varied job responsibilities and ample opportunities for further training and professional development.
• Flexible working time models to ensure a healthy work-life balance.
• Subsidy for the BW job ticket and access to on-site casino/cafeteria facilities.

    Prof. Dr. Bernhard Beckert <[email protected]>
    Dr. Mattias Ulbrich <[email protected]>
To apply, please send your application documents as a single PDF file, including a cover letter, a curriculum vitae, references, thesis, list of publications (if applicable), academic transcripts etc.
We strongly encourage applications from women to ensure balanced representation in our team. Equally qualified applicants with recognized severe disabilities will receive preferential consideration.
Join us in shaping the future of formal verification and model-driven development. Take this opportunity to contribute to groundbreaking research and make a meaningful impact on the development of sustainable technical products.

Application until: 31 August 2023 (1st round, later applications will also be considered)

Apply now and be part of a dynamic research environment at KIT!