Model- Verification & Validation Engineer

Model-Based Verification & Validation Engineer

We’re ALTEN Technology USA, an engineering company helping clients bring groundbreaking ideas to life—from advancing space exploration and life-saving medical devices to building autonomous electric vehicles. With 3,000+ experts across North America, we partner with leading companies in aerospace, medical devices, robotics, automotive, commercial vehicles, EVs, rail, and more.

As part of the global ALTEN Group—57,000+ engineers in 30 countries—we deliver across the entire product development cycle, from consulting to full project outsourcing.

When you join ALTEN Technology USA, you’ll collaborate on some of the world’s toughest engineering challenges, supported by mentorship, career growth opportunities, and comprehensive benefits. We take pride in fostering a culture where employees feel valued, supported, and inspired to grow.

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 Math Works tool chains, ensuring that all model-level verification activities meet DAL A compliance.

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

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

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

Salary Range: $110,000-$150,000/K

The actual salary offered is dependent on various factors including location, the candidate’s combination of job-related knowledge, qualifications, skills, education, training, and experience.

ALTEN Technology is an Equal Opportunity Employer. Our Policy is to extend opportunities to qualified applicants and employees on an equal basis regardless of an individual’s age, race, color, sex, religion, national origin, disability, sexual orientation, gender identity/expression or veteran status.