Safety-Critical Embedded Software Engineer – SPARK Ada

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

Job summary

Bennett And Game Recruitment is seeking a Safety Critical Software Engineer in Witney, Oxfordshire. The role focuses on designing and developing safety-critical embedded software for autonomous systems, with emphasis on high-integrity SPARK Ada components and rigorous verification activities.

The position requires strong embedded software background, experience in C/C++, Ada, and safety-critical environments, and on-site collaboration at least three days per week.

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.

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.
• 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

C

C++

Ada

SPARK Ada

Real-time systems

Job description

Bennett And Game Recruitment is seeking a Safety Critical Software Engineer in Witney, Oxfordshire. The role focuses on designing and developing safety-critical embedded software for autonomous systems, with emphasis on high-integrity SPARK Ada components and rigorous verification activities.

The position requires strong embedded software background, experience in C/C++, Ada, and safety-critical environments, and on-site collaboration at least three days per week.