According to the German 13 TVöD
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.
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 unparalled 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 (m/f/non-binary).
Individuals with disabilities will be given preferential consideration in the event their qualifications are equivalent to those of other candidates.
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.
Dr. rer. nat. Andreas Gerndt
Simulations and Software Technology
Phone: +49 531 295-2782