3 to 6 month depending on university regulations
The mission of the DLR Simulation and Software Technology is to support spacecraft engineering with new technology and innovative software.
In the project “Scalable On-Board Computing for Space Avionics” (ScOSA), we are developing a distributed, reliable and reconfigurable on-board computer for future space missions. In this system, different software tasks run on different processor nodes and exchange messages. In case of a failure, the system should be able to detect it and reconfigure itself.
In order to increase our confidence in the system, we would like to analyze it using formal techniques such as model checking. We are interested in questions like: Can the system detect a fault within the given time? Will the critical message be delivered within the given time bounds? Is it possible that multiple reconfigurations are triggered simultaneously?
The goal of this work is to evaluate the capabilities of existing formal methods and tools, identify properties of interest that can be checked for ScOSA, and get some insight into the system sizes for which this analysis is feasible.
As part of this project you will work on following tasks:
If you would like to take on this challenging task, we are looking forward to receiving your application.
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.
Simulation and Software Technology
Phone: +49 531 295-3653