This opportunity is based in Lausanne
(Master Thesis) Evaluating robustness of space systems
In this role
In the context of this internship, we aim at studying evaluation, test protocols and their appropriation to the software system of a rover in the purpose of defining a test framework for evaluation. Activities include:
- Bibliography on embedded system robustness evaluation frameworks
- Selection of the most appropriate framework and techniques (including static and dynamic analysis)
- Application to the Rover
- Definition of the scope of the analysis and priorities
- Implementation of selected techniques, e.g. dynamic fault injection or static code analysis with CodeQL, a code query language that is used notably by NASA’s curiosity rover team to perform their code reviews
- Evaluation of the robustness on the scope
What we offer
- A dynamic work and collaborative environment with a highly motivated multi-cultural and international sites team
- Personal development through training and coaching
- A culture of collaboration across all disciplines
- The chance to make a difference in peoples’ life by building innovative solutions
- High innovation and research backed up by collaboration with universities like EPFL
- Various internal coding events (Hackathon, Brownbags), see our technical blog
- Monthly After-Works organized per locations
- Good work-life balance (2 days per week from home)
About your profile
- Software development: Python, C++, C
- Interest for space mission definition and analysis (requirements gathering, risk analysis, systems engineering and modelling, etc)
If you are INTERESTED in applying for this position, please send us your complete application (CV, cover letter, letter of reference, diplomas and certificates).