Scientific activities / projects

Research and development of formal methods in model checking

Starting date


Duration of contract

3 years


According to the German 13 TVöD

Type of employment


"Cutting-edge research requires excellent minds – particularly more females – at all levels. Launch your mission with us and send in your application now!" Prof. Pascale Ehrenfreund - Chair of the DLR Executive Board

A test is good, nevertheless a proof of failure absence is in favor. Reducing failures plays an important role in spacecraft engineering. Therefore we try to support spacecraft design by model based systems engineering (MBSE). With MBSE we try to capture and analyze information about the spacecraft as early as possible. Often, these analyses are based on tests or simulation. This is not sufficient to actually proof the correctness of the system. Therefore the MBSE approach has to be enhanced by formal methods such as model checking. By this, we anticipate to detect failures earlier. This includes cases such as analyzing if certain command sequences may harm the spacecraft during operations.

As part of your mission, you will research in the area of formal methods and their integration into MBSE. You will also implement your approaches into our open-source software Virtual Satellite. Part of your tasks and responsibilities in this project are:

  • extending current approaches of coupling formal methods and MBSE,
  • developing new ideas of integrating formal methods into system design,
  • researching in the field of formal methods and connect new methods with real life applications,
  • continue developing Virtual Satellite as part of the development team,
  • implementing your research results in Virtual Satellite,
  • share and publish your research in scientific journals, papers and international conferences.

If you enjoy developing software, and you want to become a part of our team, we are looking forward for your application. We are interested in highly motivated people, delivering high quality work. We offer the freedom to bring in your own ideas and research topics. You have the possibility to create new projects and to research in an exciting environment. You are encouraged to publish scientific results on international conferences and in scientific journals. Working in part time is an option we can offer.

Your qualifications:

  • You have a Master/PhD in Computer Science or similar.
  • You have knowledge in software development with tools such as Eclipse, OSGI, Java and similar.
  • You have knowledge in formal methods.
  • You have some basic knowledge of MBSE in spacecraft engineering.
  • You have knowledge of Software engineering tools like GitHub, TravisCI, Maven/Tycho
  • You are a team player, creative, and able to work independent and self-motivated.
  • You are required to publish and travel to national and international conferences.
  • You are fluent in spoken and written English (knowledge of German is an asset).
  • Experience with tools such as Spin, SMV, Z3 or similar is a plus
  • Experience in methods for e.g. avoiding state-space explosions is a plus

Your benefits:

Look forward to a fulfilling job with an employer who appreciates your commitment and supports your personal and professional development. Our unique infrastructure offers you a working environment in which you have unparalled scope to develop your creative ideas and accomplish your professional objectives. Our human resources policy places great value on a healthy family and work-life-balance as well as equal opportunities for persons of all genders (m/f/non-binary). Individuals with disabilities will be given preferential consideration in the event their qualifications are equivalent to those of other candidates.

  • Apply online now
  • You can send this job advertisement via e-mail and complete your application on a personal computer or laptop.

    We need your digital application documents (PDF). The document upload function is not supported by all mobile devices. Please complete your application on a PC/laptop.

    Complete application on PC

Technical contact

Dr. rer. nat. Andreas Gerndt
Simulations and Software Technology

Phone: +49 531 295-2782

Send message

Vacancy 41090

HR department Braunschweig

Send message

DLR site Braunschweig

To location

DLR Simulation and Software Technology

To institute