+++ At DLR, we are always looking for bright minds – even during the current exceptional circumstances. Our current vacancies can be found here. +++

Scientific activities / projects

Research in Model Checking and Systems Engineering

Starting date


Duration of contract

3 years


According to the German TVöD 13

Type of employment

Full-time (part-time possible)

"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

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 capture and analyze information about the spacecraft as early as possible. This approach has to be enhanced by formal methods such as model checking. By this, we anticipate to detect failures earlier.

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:

  • scientific work in the area of formal methods and model checking in systems engineering
  • integrate existing methods within systems engineering into our framework Virtual Satellite
  • integrate existing methods into the development of software together with our On-Board Software group
  • research new methods for a continuous verification approach from e.g. systems engineering to On-Board Software
  • 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 fundamental knowledge in software development with tools like Java and similar.
  • You have fundamental knowledge in formal methods.
  • 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).
  • An experience with tools such as Spin, SMV, Z3 or similar is of advantage.
  • Ideally you have an experience in methods for e.g. avoiding state-space explosions.
  • An experience in the area of MBSE in spacecraft engineering is a plus.
  • Knowledge in software development with tools such as Eclipse, OSGI, is advantageous.

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

Prof. Dr. Andreas Gerndt
Institute for Software Technology

Phone: +49 531 295-2782

Send message

Vacancy 47307

HR department Braunschweig

Send message

DLR site Braunschweig

To location

DLR Institute for Software Technology

To institute