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