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).
The Model-Based Verification & Validation (V&V) Engineer will support software certification efforts for flight-critical control systems developed under DO-178C and DO-331 standards. The role focuses on model-based testing, requirements traceability, and coverage analysis using MathWorks toolchains, ensuring that all model-level verification activities meet DAL A compliance.
Job Responsibility:
Execute and maintain model-based test procedures using Simulink Test Manager and the MATLAB testing framework
Perform model coverage analysis (decision, condition, MC/DC) to meet DO-331 objectives
Develop and automate test cases and procedures for model-in-the-loop (MIL) and software-in-the-loop (SIL) environments
Develop test cases for normal and robustness conditions
Analyze simulation results, investigate anomalies, and document verification outcomes
Work with Systems and Software Engineers to ensure proper traceability between model requirements, test cases, and verification results
Support audit readiness and artifact generation for SOI 3 and SOI 4 reviews
Requirements:
Bachelor’s or Master’s degree in Aerospace, Electrical, or Computer Engineering
3+ years of experience in model-based verification for safety-critical software
Hands-on experience with MATLAB, Simulink, and Test Manager in a certification context
Strong understanding of DO-178C and DO-331 objectives, particularly A-7 (Software Testing) and Model-Based requirements
Familiarity with version control tools (Git, SVN) and configuration-controlled workflows
Nice to have:
Prior experience supporting DAL A/B flight software programs
Exposure to Simulink Requirements and Cautomated traceability
Strong documentation and communication skills for certification deliverables