Embedded Safety-Critical Software Engineer (Ada/SPARK)

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.