+++ At DLR, we are always looking for bright minds – even during the current exceptional circumstances. Our current vacancies can be found here. +++
According to the German TVöD 13
Full-time (part-time possible)
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 capture and analyze information about the spacecraft as early as possible. This approach has to be enhanced by formal methods such as model checking. By this, we anticipate to detect failures earlier.
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.
Prof. Dr. Andreas Gerndt
Institute for Software Technology
Phone: +49 531 295-2782