Bennett & Game Recruitment
Safety Critical Software Engineer
- Witney
- Hybrid · 3 days in office
- £40,000 – £60,000 pa
Design and develop safety-critical embedded software for autonomous systems, building runtime assurance components and high-integrity code using SPARK Ada and related toolchains. Work spans software architecture for certifiable systems, DAL-A/DAL-B solutions, and integration with mission computers, flight control and safety monitoring. Minimum three days per week on site in Witney.
SPARK Ada · ROS · ROS2 +3
Today