Email Gateway (Aug 06 2023 at 20:55): Email Gateway (Aug 06 2023 at 20:55):From: Bernhard Beckert <beckert@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@kit.edu>
Dr. Mattias Ulbrich <ulbrich@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!
Last updated: Apr 29 2024 at 04:18 UTC