Senior Embedded Safety-Critical Verification Engineer

SAIF Autonomy; Witney; On-site; GBP 70,000 - 110,000; Full time

Benefits offered by this job

SPARK Ada training

Job summary

SAIF Autonomy is seeking engineers to design, verify and certify embedded safety-critical software for autonomous platforms in regulated environments. You will contribute to verification strategies, test frameworks and certification artefacts across safety-critical flight and mission systems.

Ideal candidates have strong V&V experience, embedded real-time software knowledge and familiarity with DO-178C objectives, traceability and documentation for certification efforts.

Qualifications

• Strong background in safety-critical verification and validation.
• Experience with automated testing, fuzzing, Monte Carlo simulation or fault injection.
• Experience working in regulated engineering environments.
• Understanding of software lifecycle and verification processes.
• Experience generating certification evidence and compliance documentation.
• Knowledge of embedded and real-time software.

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 safety objectives are met.
• Support maturation of SAIF’s assurance framework and verification capability.
• Demonstrate leadership in achieving SAIF’s certification objectives.

Skills

Safety-critical verification

Automated testing

Regulated environments

Requirements-based testing

Embedded systems

Real-time software

Certification evidence

Traceability

Tools

SPARK Ada

Job description

SAIF Autonomy is seeking engineers to design, verify and certify embedded safety-critical software for autonomous platforms in regulated environments. You will contribute to verification strategies, test frameworks and certification artefacts across safety-critical flight and mission systems.

Ideal candidates have strong V&V experience, embedded real-time software knowledge and familiarity with DO-178C objectives, traceability and documentation for certification efforts.