Safety Critical Software Engineer
This role involves designing and developing safety-critical embedded software for autonomous systems, focusing on runtime assurance and high-integrity software using SPARK Ada. The engineer will support software architecture, integration, and safety monitoring functions, working in a regulated environment with a strong emphasis on safety standards and verification.