Computer Scientist, Research and Development of Formal Methods in Model Checking

Computer Scientist, Research and Development of Formal Methods in Model Checking

DLR - German Aerospace Center

Braunschweig, Germany

Your mission:

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.

Apply Now

Don't forget to mention EuroScienceJobs when applying.

Share this Job

© EuroJobsites 2019

EuroJobsites is a registered company number: 4694396 VAT number: GB 880 9055 04

Registered address: EuroJobsites Ltd, Unit 8, Kingsmill Business Park, Kingston Upon Thames, London, KT1 3GZ, United Kingdom

Newsletter | Recruit | Advertise | Privacy | Contact Us

© EuroJobsites 2019

EuroJobsites is a registered company number: 4694396 VAT number: GB 880 9055 04

Registered address: EuroJobsites Ltd, Unit 8, Kingsmill Business Park, Kingston Upon Thames, London, KT1 3GZ, United Kingdom

This website uses cookies to make your experience better. Continued use of this website means you accept our cookie policy.  Accept Cookies