Embedded Safety-Critical Software Engineer; Ada/SPARK
Listed on 2026-10-11
-
Software Development
Embedded Software Engineer, Embedded Systems/ Firmware/ IoT, Software Engineer, 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 invite applications for the Embedded Safety-Critical Software Engineer (Ada/SPARK) position located in Witney, England, United Kingdom.
Step into the Embedded Safety-Critical Software Engineer (Ada/SPARK) role at Profile 29 in Witney, England, United Kingdom and grow with us.
Please review the full job details above before applying.
If your experience matches this role, we encourage you to apply.
All applications are reviewed carefully by our team.
(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).