Safety-Critical Embedded Software Engineer – SPARK Ada

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.

#J-18808-Ljbffr