Safety-Critical Verification Engineer for Autonomous Systems

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

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.