Senior Safety-Critical Verification Engineer

Motorsport Network, LLC; United Kingdom; On-site; GBP 70,000 - 110,000; Full time

Job summary

SAIF Autonomy is recruiting engineers to design, verify and certify embedded safety-critical systems across autonomous platforms. You will contribute to verification strategies, test frameworks and evidence that support DO-178C objectives in highly regulated environments.

You will work on runtime assurance architectures, safety monitoring and certification artefacts, collaborating with software engineers to ensure compliance and traceability.

Qualifications

• 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.

Responsibilities

• 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.

Skills

Safety-critical testing

Verification & validation

Regulated environments

Requirements-based testing

Embedded real-time software

Certification evidence

Tools

SPARK Ada

Formal verification

Fuzz testing tools

Job description

SAIF Autonomy is recruiting engineers to design, verify and certify embedded safety-critical systems across autonomous platforms. You will contribute to verification strategies, test frameworks and evidence that support DO-178C objectives in highly regulated environments.

You will work on runtime assurance architectures, safety monitoring and certification artefacts, collaborating with software engineers to ensure compliance and traceability.