Scientific activities / projects

Research in Model Checking and Systems Engineering

Starting date


Duration of contract

3 years


German TVöD 13

Type of employment

Full-time (part-time possible)

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).
  • You should have experience with tools such as Spin, SMV, Z3 or similar.
  • You should have experience in methods for e.g. avoiding state-space explosions.
  • You should have experience in the area of MBSE in spacecraft engineering.
  • You should have knowledge in software development with tools such as Eclipse, OSGI.

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 unparalleled 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 (f/m/x). 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

Philipp Martin Fischer
Institute for Software Technology

Phone: +49 531 295-2951

Send message

Vacancy 67723

HR department Braunschweig

Send message

DLR site Braunschweig

To location

DLR Institute for Software Technology

To institute