Aerospace Software Verification Engineer MC/DC & VectorCAST

United States Digital Space LLC; Rochester; On-site; GBP 45,000 - 70,000; Full time

Job summary

Expleo is seeking a Software Verification Engineer to support a major DAL D to DAL A software assurance uplift programme. You will execute requirements-based verification, develop test objectives and cases, support VectorCAST execution and maintain verification evidence.

The role is full-time on-site, collaborating with customer engineering and assurance teams, and involves MC/DC closure, independent reviews, and traceability across requirements, design and verification artefacts.

Qualifications

• Degree qualified in Software Engineering, Electronic Engineering, Systems Engineering, Computer Science or related discipline.
• Software testing or verification training desirable.
• Exposure to regulated engineering environments advantageous.

Responsibilities

• Develop and maintain test objectives, test cases and verification procedures.
• Perform requirements-based software verification activities.
• Execute dry-run and formal verification activities.
• Review verification artefacts in accordance with independence requirements.
• Record verification results and maintain evidence packages.
• Support VectorCAST test execution and coverage collection activities.
• Assist with MC/DC coverage assessment and closure.
• Perform formal checklist reviews and compliance assessments.
• Maintain requirements-to-test traceability evidence.
• Support investigation and triage of verification findings.
• Contribute to Verification Cross Reference Matrix (VCRM) development and maintenance.
• Support hardware-based verification activities using evaluation boards and customer equipment.
• Assist the Verification Lead with readiness reviews and evidence closure activities.
• Ensure all verification artefacts are maintained under configuration control.

Skills

Requirements-based software verifi‑ cā

Test objective development

Test case development

Software test execution

Documentation and evidence generation

Independent review discipline

Traceability and compliance

Attention to detail

Education

Degree in Software/ Electronic/ Systems/ CS

Tools

VectorCAST

Polarion ALM

Oscilloscope testing tools

Job description

Expleo is seeking a Software Verification Engineer to support a major DAL D to DAL A software assurance uplift programme. You will execute requirements-based verification, develop test objectives and cases, support VectorCAST execution and maintain verification evidence.

The role is full-time on-site, collaborating with customer engineering and assurance teams, and involves MC/DC closure, independent reviews, and traceability across requirements, design and verification artefacts.