Model-Based Verification & Validation Engineer

The Model-Based Verification & Validation Engineer will support software certification for flight-critical control systems under DO-178C and DO-331 standards. This role involves model-based testing, requirements traceability, and coverage analysis using MathWorks tools. Responsibilities include executing and maintaining test procedures, performing model coverage analysis, developing automated test cases for MIL/SIL environments, analyzing simulation results, and ensuring traceability between requirements and verification outcomes to meet DAL A compliance.

Must Have

• Execute and maintain model-based test procedures using Simulink Test Manager and MATLAB.
• Perform model coverage analysis (decision, condition, MC/DC) to meet DO-331 objectives.
• Develop and automate test cases and procedures for MIL and 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.
• 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.
• Familiarity with version control tools (Git, SVN) and configuration-controlled workflows.

Good to Have

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

Perks & Benefits

• Mentorship
• Career growth opportunities
• Comprehensive benefits

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.