Vacancy No. 709/2023

Post-doc Researcher (f/m/d)

Job description

Software-intensive autonomous and heterogeneous systems are becoming widely available as an open-ended collection of systems, collaborating to improve our lives. However, our world is dynamic, user behaviour changes and computer and communication infrastructures fail due to unforeseen events, including malicious attacks. Consequently, the need for our technical systems to automatically adapt to new situations, counter unforeseen events and deal with imprecise data is increasing considerably.

To achieve their full potential, these adaptive autonomous systems must be resilient, i.e., they must continue to provide the required functionality despite the uncertainty, change, faults, failure, adversity, and other (anticipated and unforeseen) disruptions present in their real-world operating environments. Numerous methods for developing resilient (adaptive) autonomous systems have been independently proposed or are being explored by different projects worldwide. However, despite recent advances in autonomous technologies, the research on resilient adaptive autonomous systems remains fragmented.

In a network of leading scientists, together with computer scientists and engineers, you will research procedures, tools and methods for the design of software-intensive resilient self-adaptive systems. Your results will enable the efficient construction of sustainable technical products. The approaches you research allow, for example, the implementation of modern visions of mobility.

As a senior researcher, you will also apply for and supervise third-party funded projects, take responsibility for the budget, organise international conferences and scientific and strategic workshops, have management and personnel responsibility, supervise doctoral students in your field of research and coordinate scientific collaboration with other research groups and laboratories at the KASTEL Institute.

Personal qualification
  • Doctorate's degree in computer science (or defence date defined)
  • Interest and ideally experience in interdisciplinary work in the field of computer science and engineering
  • Experience with development and analysis methods for software-intensive self-adaptive systems
  • Specialisation in formal methods and model-driven engineering
  • Pleasure in taking on responsibility
  • Ability to communicate in spoken and written form, confident command of the English language, good knowledge of German or willingness to acquire it

Salary category 14, depending on the fulfillment of professional and personal requirements.

Organizational unit

Institute of Information Security and Dependability (KASTEL)

Starting date

Soon as possible

Contract duration

2 years

Application up to


Contract person in line-management

For further information, please contact Prof. Dr. Raffaela Mirandola,


Please apply online using the button below for this vacancy number 709/2023 .
Personnel Support is provided by 

Ms König
phone: +49 721 608-25011,

Hermann-von-Helmholtz-Platz 1, 76344 Eggenstein-Leopoldshafen, Germany

We prefer to balance the number of employees (f/m/d). Therefore we kindly ask female applicants to apply for this job.
Recognized severely disabled persons will be preferred if they are equally qualified.