Embedded Safety-Critical Software Engineer (Ada/SPARK)

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

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.