4 jobs
Flarebright Bicester £39,000 – £49,000 pa
Contributes across the full development lifecycle, from concept and algorithm design to system integration, testing and troubleshooting of safety-critical navigation and autonomy software in C++. Works with a multidisciplinary team on real-time embedded systems, hardware/software-in-the-loop testing and flight test activities, producing design documentation and test reports.
Rise Technical Recruitment Witney £50,000 – £60,000 pa
Design and develop high-integrity embedded software for autonomous aerospace and defence platforms, building runtime safety, monitoring and fail-safe components. Work closely with verification and certification engineers on certifiable architecture supporting DO-178C DAL A/B objectives, with specialist SPARK Ada training provided. Hybrid role with at least three days a week on-site in Witney.
Spectrum IT Recruitment Bampton £40,000 – £60,000 pa
Design and develop safety-critical embedded software for next-generation autonomous systems, working within a specialist team and contributing to software architecture. The role sits in an evolving, regulated engineering space and requires strong C/C++ embedded skills, real-time systems experience, and comfort with AI applied to robotics.
Rise Technical Recruitment Witney £50,000 – £60,000 pa
Defines verification strategies and develops test frameworks for safety-critical embedded software, delivering requirements-based V&V, traceability and certification evidence. Applies automated testing, fuzz testing, fault injection and Monte Carlo simulation, with exposure to SPARK Ada and formal methods in an autonomy-assurance team. Hybrid, minimum three days on-site in Witney.
