At a Glance
- Tasks: Develop safety-critical embedded software for autonomous systems and ensure runtime assurance.
- Company: Innovative tech company shaping the future of autonomy and AI.
- Benefits: Competitive salary, hybrid work model, and opportunities to work with industry leaders.
- Other info: Dynamic role with excellent career growth in a rapidly expanding business.
- Why this job: Join a pioneering team tackling safety challenges in autonomous technology.
- Qualifications: Strong background in embedded software and experience in safety-critical environments.
The predicted salary is between 80000 - 98000 £ per year.
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.
Software Engineer in Oxford employer: Future Talent Group
Join a pioneering technology company in Oxford that is at the forefront of developing safety-critical software for autonomous systems. With a strong emphasis on innovation and employee growth, we offer a collaborative work culture where your contributions directly impact the future of autonomy. Enjoy the benefits of hybrid working, access to cutting-edge technologies, and opportunities to work alongside industry leaders in aerospace and defence.
