Software Verification Engineer

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

Overview:

Expleo is seeking a Software Verification Engineer to support a major DAL D to DAL A software assurance uplift programme. The role is responsible for executing requirements-based verification activities, supporting independent review processes and generating the formal verification evidence required to achieve DAL A compliance. Working under the direction of the Verification and VectorCAST Lead, the successful candidate will develop and review test objectives and test cases, support VectorCAST execution, perform dry-run and formal test activities, record verification evidence and contribute towards structural coverage and MC/DC closure. This role is a key part of maintaining verification independence across the programme and will work closely with requirements, software design, certification and quality assurance teams. The RFQ specifically requires independent reviews, requirements-based testing, formal execution, MC/DC evidence capture and verification checklist completion.

This role is based full-time on-site, working directly alongside customer engineering and assurance teams throughout programme execution.

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.

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.

Essential skills:

• Requirements-based software verification.
• Test objective and test case development.
• Software test execution and result analysis.
• Structured evidence generation and documentation.
• Independent review discipline.
• Defect reporting and issue management.
• Traceability awareness and compliance documentation.
• Strong attention to detail.
• Good written and verbal technical communication skills.
• Ability to work effectively within structured engineering processes.

Desired skills:

• VectorCAST or equivalent verification tools.
• DO-178C software lifecycle awareness.
• Embedded software verification experience.
• Hardware and evaluation-board testing.
• Oscilloscope and physical I/O testing experience.
• Polarion ALM experience.
• STM32 microcontroller familiarity.
• Aerospace, defence or safety-critical software experience.
• Structural coverage and MC/DC awareness.

Experience:

• Experience executing software verification activities within structured engineering projects.
• Experience developing and executing test procedures.
• Experience maintaining formal verification records and review evidence.
• Experience supporting regulated software development programmes.
• Experience working with requirements, design and verification artefacts.
• Experience within aerospace, defence, rail, automotive, nuclear or similar regulated sectors is advantageous.

What do I need before I apply:

• This role requires regular on-site attendance to support customer verification activities, access verification environments, utilise evaluation hardware and participate in formal review activities.

Benefits:

• Collaborative working environment – we stand shoulder to shoulder with our clients and our peers through good times and challenges
• We empower all passionate technology loving professionals by allowing them to expand their skills and take part in inspiring projects
• Expleo Academy - enables you to acquire and develop the right skills by delivering a suite of accredited training courses
• Competitive company benefits
• Always working as one team, our people are not afraid to think big and challenge the status quo

Disability & equality commitments:

• As a Disability Confident Committed Employer we have committed to:
• Ensure our recruitment process is inclusive and accessible
• Communicating and promoting vacancies
• Offering an interview to disabled people who meet the minimum criteria for the job
• Anticipating and providing reasonable adjustments as required
• Supporting any existing employee who acquires a disability or long term health condition, enabling them to stay in work at least one activity that will make a difference for disabled people

“We are an equal opportunities employer and welcome applications from all suitably qualified persons regardless of their race, sex, disability, religion/belief, sexual orientation or age”.

We treat everyone fairly and equitably across the organisation, including providing any additional support and adjustments needed for everyone to thrive