Software Engineer

Software Engineer Salary to £60k + benefits Hybrid role - 3 days a week (Tues, Wed, Thurs) on-site in Witney, Oxfordshire, NB: Please only apply if you are eligible for SC clearance (i.e. you have min 5 years continuous UK residency and are a British national).

Company Pioneering safeguards for embodied-AI, this company is building the trust layer for autonomy and physical AI. They aim to be the global leaders in novel control assurance, pioneering trusted and ethical autonomy for humanity.

Their software enables assured, trustworthy deployment of both traditional deterministic autonomy and AI or novel control methods, in any application, for the first time. They do all of this with no need for data or communications links, and they begin the journey by applying their tech to autonomous systems in the aerospace and land domains.

Role As part of their highly specialised engineering team, you will contribute to the design, development, verification and certification of embedded safety-critical systems that provide assurance and runtime safety functions across autonomous platforms.

Their platform is being developed providing mathematically verifiable software foundations suitable for the highest levels of safety assurance. Successful candidates will work across: Safety-critical embedded software development Runtime assurance architectures Autonomous flight safety systems Mission assurance and control systems Verification and validation activities Certification-focused software engineering Safety monitoring and fail-safe architectures Airworthiness and autonomy assurance frameworks Their engineering team is focused on delivering solutions that support highly regulated autonomous operations, including SORA-based operating environments and future certified autonomous aviation systems.

Responsibilities Design and develop safety-critical embedded software for autonomous systems. Build software components supporting runtime assurance and autonomous system safety. Develop high-integrity software using SPARK Ada and associated toolchains.

Support software architecture definition for certifiable autonomous systems. Work closely with verification and certification teams to achieve regulatory compliance. Contribute to the development of DAL-A and DAL-B capable software solutions.

Support integration across mission computers, flight control systems and safety monitoring functions. Participate in software safety analyses and design assurance activities. Help scale their platform from prototype capability to enterprise deployment. ...

Report this job