Safety-Critical Embedded Software Engineer

NET Recruit partners with a technology business seeking a Software Engineer to design and develop safety‑critical embedded software for autonomous systems. You will work on runtime assurance, safety monitoring, and high‑integrity software using Ada, SPARK Ada, and robust toolchains.

The role involves collaborating with verification, safety, and certification teams to meet stringent standards and evolve software architectures for regulated environments.