Responsibilities:

• Take part in the design and documentation of software architectures from requirements considering the hardware platform and need to be extensible and robust.
• Define low-level software requirements, considering high-level requirements and architecture, to document how the software should be implemented.
• Write simple, intuitive and maintainable source code from the low-level requirements.
• Create test cases and procedures for both normal and robustness scenarios to fully verify that the software implementation meets the high-level and low-level requirements.
• Perform analyses on the specification and implementation such as resource usage, traceability coverage, verification coverage and manual verification.

• Ideally C++ software engineering experience and proven applied engineering skills, 
• Hands-on experience in software verification and writing requirement-based tests to break other people’s code,
• Willingness to write accurate software documentation including low-level requirements and architecture design descriptions,
• Very good working knowledge of standard modern software development tools,
• Demonstrated capability to constructively work in a team with continuous peer review activities.


Ideally, thanks to internships, witnessed in a DO-178C project where the maximum software IDAL was C or above.

Benefits:

• A team of experienced engineers and researchers, who joined us from most recognized companies and institutions.
• Difficult and interesting problems to solve. 
• Pilot license subsidy.
• Hybrid work setting.
• Learning & Development budget: visit conferences of your choice.
• Gym membership.