Safety-Critical Embedded Engineer for Autonomous Systems

Bennett and Game Recruitment LTD; West Boldon; On-site; GBP 40,000 - 60,000; Full time

Job summary

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

You will work with C, C++, Ada, or similar languages, using SPARK Ada toolchains to deliver high-integrity software for real-time environments.

This role involves contributing to certifiable architectures, integrating with flight control and safety monitoring functions, and aligning with DO-178C or ISO26262 where applicable.

Qualifications

• Strong background in embedded software engineering.
• Experience with C, C++, Ada or similar languages.
• Experience in 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.

Responsibilities

• Design and develop safety-critical embedded software for autonomous systems.
• Build software components supporting runtime assurance and safety.
• Develop high-integrity software using SPARK Ada and toolchains.
• Support software architecture definition for certifiable autonomous systems.
• 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 engineering

C/C++/Ada

Safety-critical environments

High-integrity software

Real-time systems

Safety standards/regulations

Software verification & validation

SPARK Ada

Tools

SPARK Ada

Job description

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

You will work with C, C++, Ada, or similar languages, using SPARK Ada toolchains to deliver high-integrity software for real-time environments.

This role involves contributing to certifiable architectures, integrating with flight control and safety monitoring functions, and aligning with DO-178C or ISO26262 where applicable.