Safety-Critical Verification Engineer

Founded to solve one of the biggest barriers to autonomous system adoption - trust and assurance - SAIF Autonomy is building the assurance layer for next-generation autonomous systems.

SAIF’s mission is to enable the safe deployment of autonomous systems by providing an independent assurance capability across the entire autonomy stack. As AI and advanced autonomy become increasingly embedded within safety and mission-critical systems, existing assurance approaches often struggle to provide the levels of determinism, certification and regulatory confidence required for widespread deployment.

SAIF is developing a platform that delivers runtime assurance, safety monitoring and certified autonomy capabilities across both mission systems and flight-critical control systems. The company’s technology is designed to support highly regulated environments where safety, reliability and certification are paramount.

Working alongside major aerospace, defence and autonomy organisations, SAIF is pioneering safeguards for “Embodied AI” and trusted autonomy, helping operators deploy advanced autonomous capabilities with confidence while aligning with rigorous aviation and safety standards including DO-178C at the highest assurance levels (DAL A / DAL

B).

As demand accelerates across autonomous aviation, drones, defence systems and next-generation autonomous vehicles, SAIF is scaling rapidly and investing heavily in its engineering capability.

As part of a highly specialised engineering team, you will contribute to the design, development, verification and certification of embedded safety-critical systems that provide assurance and runtime safety functions across autonomous platforms.

The platform is being developed providing mathematically verifiable software foundations suitable for the highest levels of safety assurance. Successful candidates will work across:

• Safety-critical embedded software development
• Runtime assurance architectures
• Autonomous flight safety systems
• Mission assurance and control systems
• Verification and validation activities
• Certification-focused software engineering
• Safety monitoring and fail-safe architectures
• Airworthiness and autonomy assurance frameworks

The engineering team is focused on delivering solutions that support highly regulated autonomous operations, including SORA-based operating environments and future certified autonomous aviation systems.

• Define and execute verification strategies for safety-critical software and systems.
• Develop test frameworks, verification plans and certification evidence.
• Support software verification activities aligned with DO-178C objectives.
• Perform requirements-based verification and validation.
• Support certification artefact generation and traceability.
• Conduct integration, system and qualification testing.
• Work closely with software engineers to ensure compliance with safety objectives.
• Support the maturation of SAIF’s assurance framework and verification capability.
• Demonstrate leadership in achieving SAIF’s certification objectives.

• Strong background in safety-critical verification and validation.
• Understanding of advanced software verification and testing methodologies, such as automated testing, fuzz testing, Monte Carlo simulation, fault injection, or other techniques used to validate the robustness and safety of complex embedded systems.
• Experience working within regulated engineering environments.
• Understanding of software lifecycle and verification processes.
• Experience with requirements-based testing and traceability.
• Knowledge of embedded systems and real-time software.
• Experience generating certification evidence and compliance documentation.

• DO-178C verification experience.
• Automotive…