Model-Based Verification & Validation Engineer

Model-Based Verification & Validation (V&V)

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.

RESPONSIBILITIES:

• 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.

REQUIRED QUALIFICATIONS:

• 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.

PREFERRED QUALIFICATIONS:

• Prior experience supporting DAL A/B flight software programs.
• Exposure to Simulink Requirements and Cautomated traceability.
• Strong documentation and communication skills for certification deliverables.