Senior Software Engineer - Flight Autonomy- Model Based

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