Embedded Safety-Critical Software Engineer (Ada/SPARK)

Witney Source: WhatJobs
£52,000–£60,000

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.

#J-18808-Ljbffr

Full job description from WhatJobs. Apply for this role →

Back to all jobs

Help others hire with confidence

Reviews on Trustpilot

Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.