Safety Critical Software Engineer

About the role

We are a fast‑growing technology business developing assurance and safety capabilities for next‑generation autonomous systems. As a Safety Critical Software Engineer you will design, develop, verify and certify embedded software that underpins autonomous platforms operating in highly regulated environments.

Key responsibilities

• Design and develop safety‑critical embedded software components.
• Implement runtime assurance and safety‑monitoring functionality for autonomous systems.
• Contribute to software architecture, integration, verification and certification activities.

Required profile

• Strong background in embedded software engineering.
• Experience working in safety‑critical, real‑time or embedded environments.
• Understanding of high‑integrity software development, verification and validation processes.

Required skills

• C
• C++
• Ada
• SPARK Ada
• DO‑178C
• ROS / ROS2
• MAVLink
• PX4
• ArduPilot
• Model‑based development
• Formal methods

What we offer

• Competitive salary of £60,000 per year.
• Hybrid working pattern.
• Opportunity to work on cutting‑edge technology for autonomous aviation, defence, drones and next‑generation vehicles.
• Collaboration with a specialist engineering team.