Embedded Safety-Critical Software Engineer; Ada/SPARK
Listed on 2026-10-26
-
Software Development
Software Engineer, Embedded Software Engineer, Embedded Systems/ Firmware/ IoT, Software Testing
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.
We would love to welcome a new Embedded Safety-Critical Software Engineer (Ada/SPARK) to our group in Witney, England, United Kingdom.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Embedded Safety-Critical Software Engineer (Ada/SPARK) role in the description above.
We appreciate your interest in this position.
Join Profile 29 and contribute to our ongoing work.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).