47293: Computer Scientist or similar - Research in Model Checking and Systems Engineering

German Aerospace Center (DLR)

Oberpfaffenhofen, Germany

Work group:

Simulation and Software Technology



Area of research:

Scientific / postdoctoral posts,Other



Job description:

Global Navigation Services are part of our daily life. High reliability of these systems is a must. Therefore these systems are analyzed based on methods from Failure Detection, Isolation and Recovery (FDIR) and Reliability, Availability, Maintainability and Security (RAMS).


As part of your mission, you will research in the area of FDIR and Rams in the context of Galileo. 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 FDIR and RAMS in the context of Galileo integrate existing methods into our framework Virtual Satellite apply existing methods to Galileo related operations research new methods for a continuous FDIR and RAMS from systems engineering to single equipment developing Virtual Satellite as part of the development team implementing your research results in Virtual Satellite maintain a good relation to the Galileo operational team 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.



Please apply via recruiter’s website.

Quote Reference: 47293