Safety Critical Software Engineer

Bennett & Game Recruitment Ltd; Witney; On-site; GBP 40,000 - 60,000; Full time

Job summary

Bennett & Game Recruitment Ltd in Witney, Oxfordshire, is seeking a Safety Critical Software Engineer to design and develop safety-critical embedded software for autonomous systems.

The role requires strong background in embedded software engineering with experience in C, C++ and Ada, plus familiarity with real-time and high-integrity development processes. You will contribute to ROS/ROS2-based autopilot platforms and work across safety-critical domains.

Qualifications

• Strong background in embedded software engineering.
• Experience with C, C++, Ada or similar languages.
• Experience working within safety-critical environments.
• Knowledge of high-integrity software development processes.
• Experience with real-time or embedded systems.
• Familiarity with safety standards and regulated development environments.
• Understanding of software verification and validation methodologies.
• Automotive (ISO26262 / IEC65108).
• Aerospace, defence or autonomous systems experience.
• Flight control systems or avionics software.
• UAV, UAS, drone or eVTOL platforms.
• Autopilot technologies such as ROS / ROS2, MAVLINK, PX4, ArduPilot or equivalent.

Responsibilities

• Design and develop safety-critical embedded software for autonomous systems.
• Build software components supporting runtime assurance and autonomous system safety.
• Develop high-integrity software using SPARK Ada and associated toolchains.
• Contribute to the development of DAL-A and DAL-B capable software solutions.
• Support integration across mission computers, flight control systems and safety monitoring functions.

Skills

Embedded software

C/C++/Ada

Safety-critical

Real-time systems

Autonomous systems

ROS/ROS2

Aerospace/defence

Flight control

Automotive ISO26262

Job description

Safety Critical Software Engineer (RF47268) Witney, England

Salary: GBP40000 - GBP60000 per annum

Job Title: Safety Critical Software Engineer

Location: Witney, Oxfordshire

Salary: £40,000- £60,000

Safety Critical Software Engineer required for a company in Witney that develops advanced assurance and safety technologies that enable the safe deployment of autonomous and AI-enabled systems.

Key Responsibilities

• Design and develop safety-critical embedded software for autonomous systems.
• Build software components supporting runtime assurance and autonomous system safety.
• Develop high-integrity software using SPARK Ada and associated toolchains.
• Contribute to the development of DAL-A and DAL-B capable software solutions.
• Support integration across mission computers, flight control systems and safety monitoring functions.

Required Experience

• Strong background in embedded software engineering.
• Experience working with C, C++, Ada or similar languages.
• Experience working within safety-critical environments.
• Knowledge of high-integrity software development processes.
• Experience with real-time or embedded systems.
• Familiarity with safety standards and regulated development environments.
• Understanding of software verification and validation methodologies.
• Automotive (ISO26262 / IEC65108).
• Aerospace, defence or autonomous systems experience.
• Flight control systems or avionics software.
• UAV, UAS, drone or eVTOL platforms.
• Autopilot technologies such as ROS / ROS2, MAVLINK, PX4, ArduPilot or equivalent.

Salary & Benefits

• 3 days (minimum) on site in Witney