Software Verification Engineer

Electus Recruitment Solutions; Witney; Hybrid; GBP 65,000 - 90,000; Full time

Benefits offered by this job

Hybrid working

Competitive pay

Job summary

Electus Recruitment Solutions is seeking a Safety Critical Verification Engineer to join a rapidly growing technology business focused on autonomous systems. You will contribute to verification and validation of embedded safety-critical software across aerospace and autonomous platforms.

The role covers safety-critical software verification, runtime assurance, and certification activities, with a strong emphasis on DO-178C DAL A/B processes.

Qualifications

• Strong background in software verification and validation within safety-critical or regulated environments.
• Experience with embedded or real-time systems and languages such as C, C++, Ada or similar.
• Understanding of high-integrity software development processes and verification methodologies.
• DO-178C, DAL A or DAL B verification experience.
• Ada, SPARK Ada, formal methods or model-based development.
• Aerospace, defence, autonomous systems, flight control, avionics, UAV, UAS, drone or eVTOL experience.

Responsibilities

• Develop and execute verification activities for safety-critical embedded software.
• Support verification of high integrity software and autonomous system safety functions.
• Work with engineering and certification teams to support compliance with applicable safety standards.

Skills

Software verification

Embedded systems

C

C++

Ada

SPARK Ada

Formal methods

Model-based development

DO-178C

DAL A/B

Aerospace/defence

Job description

A rapidly growing technology business is developing assurance and safety capabilities for next-generation autonomous systems and is expanding its specialist engineering team.

We work across verification, embedded software, autonomy, aerospace, and safety-critical engineering, developing technology that gives confidence in autonomous systems operating in highly regulated environments.

The Role

As a Safety Critical Verification Engineer, you will contribute to the verification and validation of embedded safety critical systems supporting autonomous platforms.

You will work across:

• Safety-critical software verification and validation
• Runtime assurance and safety monitoring
• Certification and design assurance activities

Key Responsibilities

• Develop and execute verification activities for safety-critical embedded software
• Support verification of high integrity software and autonomous system safety functions
• Work with engineering and certification teams to support compliance with applicable safety standards

What We're Looking For

• Strong background in software verification and validation within safety critical or regulated environments
• Experience with embedded or real time systems and languages such as C, C++, Ada or similar
• Understanding of high integrity software development processes and verification methodologies
• DO 178C, DAL A or DAL B verification experience
• Ada, SPARK Ada, formal methods or model-based development
• Aerospace, defence, autonomous systems, flight control, avionics, UAV, UAS, drone or eVTOL experience

Why Consider It?

This is an opportunity to work on technology addressing one of the major challenges facing autonomous systems: how to make increasingly capable systems safe, reliable and trusted enough for real-world deployment.

You will be working alongside a specialist engineering team developing technology with applications across autonomous aviation, defence, drones and next-generation autonomous vehicles.

Location: Oxfordshire

Working Pattern: Hybrid