123

Research in Model Checking and Systems Engineering

Oberpfaffenhofen, Germany, DLR Institute of Space Systems [47293]

Field(s) of expertise
Space Systems Engineering Software Engineering
Job type
ContractTemporary
Education
DoctorateMaster
Deadline
Closed

About this job

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).

Responsibilities

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.

Profile

  • You have a Master/PhD in Computer Science or similar
  • You have fundamental knowledge in FDIR and RAMS
  • You have fundamental knowledge in software development with tools Java and similar
  • You have knowledge of Software engineering tools like GitHub, TravisCI, Maven/Tycho
  • You need to provide conformance with the personal requirements for handling of export controlled goods and information according to German, European and US export control laws
  • 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 in methods such as Fault Tree Analysis (FTA) is an asset
  • experience in the area of MBSE in spacecraft engineering is a plus
  • knowledge in software development with tools such as Eclipse, OSGI is of advantage

For information on how the personal data in your application is processed, please see the DLR Institute of Space Systems Privacy Policy.