> Markdown version of [/jobs/ext/2247914-safety-critical-embedded-software-engineer-spark-ada](https://www.wearedevelopers.com/jobs/ext/2247914-safety-critical-embedded-software-engineer-spark-ada). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Safety-Critical Embedded Software Engineer - SPARK Ada

- **Company:** Bennett & Game Recruitment Ltd.
- **Location:** Witney, UK
- **Contract:** Permanent contract
- **Skills:** C++ (Programming Language), Embedded Software, Apache Spark
- **Published:** August 26, 2026
- **Apply:** https://www.collegerecruiter.com/job/2815193495-safety-critical-embedded-software-engineer--spark-ada

## About the Role

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

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


## Related Videos

- [Code to Road in < 12 hours](https://www.wearedevelopers.com/videos/1082-code-to-road-in-12-hours)
- [Building a hypercar from scratch](https://www.wearedevelopers.com/videos/607-building-a-hypercar-from-scratch)
- [Modern C#: A Dive into the Community's Most Loved new Features.](https://www.wearedevelopers.com/videos/693-modern-c-a-dive-into-the-community-s-most-loved-new-features)
- [PySpark - Combining Machine Learning & Big Data](https://www.wearedevelopers.com/videos/44-pyspark-combining-machine-learning-big-data)
- [Security Blindspots and How to Learn About Them - Anna Oliveira](https://www.wearedevelopers.com/videos/1754-security-blindspots-and-how-to-learn-about-them-anna-oliveira)
- [Functional Programming in C++](https://www.wearedevelopers.com/videos/1409-functional-programming-in-c)

## Related Articles

- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)
- [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers)
- [Dev Digest 134 - Where pixels sing?](https://www.wearedevelopers.com/magazine/477-dev-digest-134-where-pixels-sing)
- [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology)