Software Engineer

Profile 29; Witney; Hybrid; GBP 52,000 - 60,000; Full time

Benefits offered by this job

EV Car Scheme

Cycle to Work Scheme

Company socials

Thursday in-office lunch

25 days holiday

Job summary

Profile 29 is seeking a Software Engineer to design, develop, verify and certify embedded safety-critical systems for autonomous platforms. The role spans safety-critical embedded software, runtime assurance, and certification-focused activities, with a strong emphasis on high-integrity software and verification.

You will work with C, C++, Ada or similar languages in a regulated environment, collaborate with verification teams, and contribute to proofs and DAL-level software.

Qualifications

• Embedded, real-time software engineering background.
• Experience with C, C++, Ada or similar languages.
• Experience in safety-critical environments.
• Knowledge of high-integrity software development processes.
• Familiarity with safety standards and regulated development environments.
• Understanding of software verification and validation methodologies.

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.

Skills

Embedded real-time software

C, C++, Ada

Safety-critical environments

High-integrity software

Safety standards & regulated envs

Software verification & validation

Job description

Software Engineer

• Salary to £60k + benefits


• Hybrid role - 3 days a week (Tues, Wed, Thurs) on-site in Witney, Oxfordshire,

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.

Must-Have Experience

• Strong background in embedded, real-time software engineering.


• Experience working with C, C++, Ada or similar languages.


• Experience working within safety-critical environments.


• Knowledge of high-integrity software development processes.


• Familiarity with safety standards and regulated development environments.


• Understanding of software verification and validation methodologies.

Desirable / Nice to Have Experience

• Ada or SPARK Ada development experience.


• DO-178C software development experience.


• Automotive (ISO26262 / IEC65108).


• Aerospace, defence or autonomous systems experience.


• Flight control systems or avionics software.


• UAV, UAS, drone or eVTOL platforms.


• Runtime assurance or autonomy assurance systems.


• Autopilot technologies such as ROS / ROS2, MAVLINK, PX4, ArduPilot or equivalent.


• Model-based development and formal methods.

Other Stuff

Salary to £60k

Hybrid role - 3 days a week on site in Witney, Tues, Wed, Thurs

Benefits include; EV Car Scheme, Cycle to Work Scheme, Company socials, Thursday in-office lunch on them, 25 days holiday

NB: for non-UK Citizens; we cannot accept applications from anyone requiring sponsorship (now or in the future) for UK permanent employment status. If you are utilising a work visa this must allow you to work in the UK unrestricted for at least the next 5 years.

Profile 29 recruitment keywords: Machine Learning, Reinforcement Learning, Autonomous Systems, Assurance, Hardware, Software, Systems Integration, Artificial Intelligence, Embedded Software, Embedded Systems, Space Autonomy, Assured Autonomy, High Integrity Software, Assured Autonomy, and Assured Autonomous Behaviours Witney, Oxfordshire hybrid remote