This list contains only the countries for which job offers have been published in the selected language (e.g., in the French version, only job offers written in French are displayed, and in the English version, only those in English).
We are seeking a Senior Software Engineer to design, implement, test, and certify flight-critical autonomy algorithms for next-generation aerospace systems. In this role, you will develop model-based flight software using MathWorks tools and support the full lifecycle of DO-178C compliant development.
Job Responsibility:
Design and develop flight-critical software using Simulink, Stateflow, and related MathWorks tools for model-based design
Define software architecture, modeling standards, and development workflows aligned with DO-178C and DO-331
Create, maintain and review software requirements, models and auto-generated code
Ensure robustness and traceability through requirements-based design, verification, and certification artifact production
Collaborate with engineers from cross functional groups such as systems, safety, hardware, flight controls and test to ensure product and program level needs are met
Support integration into CI pipelines, including model checks, code generation, static analysis, and automated verification
Contribute to planning and execution of SOI audits and certification reviews
Create and maintain comprehensive documentation for software requirements, architecture and design decisions
Support hardware-in-the-loop (HIL), processor-in-the-loop (PIL), and flight testing activities
Requirements:
Bachelor’s or Master’s degree in Electrical Engineering, Aerospace Engineering, Computer Engineering, Computer Science, or related field
5+ years of experience developing embedded or safety-critical software
Extensive experience with Simulink, Stateflow and Embedded Coder for safety critical software development
Experience with Simulink Check, Simulink Code Inspector, Simulink Test and Polyspace Bug Finder
Strong experience with requirements management, including authoring high-quality software requirements, maintaining traceability, and using tools such as DOORS, Jama, or Polarion
Working knowledge of DO-178C, including hands-on experience with DO-331
Experience with CI/CD environments and automated model/code quality checks
Experience developing embedded flight software using C/C++ and integrating auto-generated code with manual code
Experience performing HIL testing, automated test execution, troubleshooting integration issues and analysis of flight test data
Experience with MATLAB scripting, tool automation, and test automation