Safety-Critical Software Engineer | Embedded Systems | DO-178C | SPARK Ada | Autonomous Systems | Oxford Hybrid
Safety-Critical Software Engineer – Oxford (Hybrid)
Are you a Safety-Critical Software Engineer looking to work on technology that will shape the future of autonomous systems?
We’re working with an innovative technology company developing next-generation autonomy assurance solutions that enable the safe deployment of autonomous and AI-enabled systems across highly regulated environments. Working with leading aerospace, defence and autonomy organisations, you’ll help develop high-integrity embedded software that provides runtime assurance, safety monitoring and certification-ready capabilities for mission and flight-critical systems.
The Role
As part of a specialist engineering team, you’ll contribute to the design and development of safety-critical embedded software, helping scale a pioneering platform from MVP to enterprise deployment. The platform is being developed in SPARK Ada, using formal methods and high-assurance engineering techniques to support the highest levels of safety and certification.
Key Responsibilities
- Develop safety-critical embedded software for autonomous systems.
- Build runtime assurance and safety monitoring capabilities.
- Support software architecture and system design activities.
- Work closely with verification and certification teams.
- Contribute to DAL-A and DAL-B capable software solutions.
- Support integration across mission and flight control systems.
Required Experience
- Strong embedded software engineering background.
- Experience working in safety-critical environments.
- Real-time or embedded systems experience.
- Knowledge of software verification and validation.
- Experience with C, C++, Ada or similar low-level languages.
- SPARK Ada or Ada.
- DO-178C.
- Aerospace, Defence or Autonomous Systems.
- Flight controls, avionics, UAVs or drones.
- Formal methods and software assurance techniques.
Why Join?
- Work on technology solving one of the biggest challenges in autonomy: safety and trust.
- Help shape the future of certified autonomous flight and AI-enabled systems.
- Join a rapidly growing business working with major industry leaders.
- Work with cutting-edge technologies including SPARK Ada, formal methods and runtime assurance architectures.
#J-18808-Ljbffr…