The Coq mailing list

[Bernhard Beckert <beckert AT kit.edu>]

We are hiring:

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

https://formal.kastel.kit.edu/offers/jobs.phtml

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.

Contact:
    Prof. Dr. Bernhard Beckert <beckert AT kit.edu>
    Dr. Mattias Ulbrich <ulbrich AT kit.edu>
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!