Safety-Critical Embedded Software Engineer (SPARK Ada)

Bennett and Game Recruitment LTD is seeking a Safety Critical Software Engineer in Witney to design and develop embedded software for autonomous systems. The role emphasizes high-integrity, real-time software and SPARK Ada toolchains in a safety-focused environment.

Applicants should have strong experience with C/C++, Ada, and safety standards, with on-site work requirements in Witney and a competitive salary package.