About you:
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.
Responsibilities:
- 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.
Qualifications:
- 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
