Verification Engineer

Profile 29; West Boldon; Hybrid; GBP 54,000 - 66,000; Full time

Benefits offered by this job

EV Car Scheme

Cycle to Work Scheme

Company socials

Thursday in-office lunch on them

25 days holiday

Job summary

Profile 29 is recruiting a Verification Engineer to design, verify and certify embedded safety-critical software for autonomous platforms. The role involves developing verification strategies, test frameworks and certification evidence across safety-critical systems.

You will work within a highly specialised team, coordinating with engineers to ensure compliance with safety objectives, while contributing to maturity of the assurance framework and verification capabilities.

Qualifications

• Must have experience in safety-critical verification and validation.
• Experience with automated testing, fuzz testing, Monte Carlo simulation, fault injection, or similar techniques.
• Experience in regulated engineering environments and understanding of software lifecycle and verification processes.
• 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 safety objectives.
• Support maturation of the assurance framework and verification capability.
• Demonstrate leadership in achieving certification objectives.

Skills

Safety-critical verification

Requirements-based testing

Automated testing

Regulated environments

Embedded systems

Real-time software

Certification evidence

Job description

Verification Engineer

Salary to £60k + benefits

Hybrid role - 3 days a week (Tues, Wed, Thurs) on-site in Witney, Oxfordshire,

Company

Pioneering safeguards for embodied-AI, this company is building the trust layer for autonomy and physical AI. They aim to be the global leaders in novel control assurance, pioneering trusted and ethical autonomy for humanity. Their software enables assured, trustworthy deployment of both traditional deterministic autonomy and AI or novel control methods, in any application, for the first time. They do all of this with no need for data or communications links, and they begin the journey by applying their tech to autonomous systems in the aerospace and land domains.

The Role

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.

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 the company's assurance framework and verification capability.
• Demonstrate leadership in achieving the company's certification objectives.

Must-Have Experience

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

Desirable Experience

• DO-178C verification experience.
• Automotive (ISO26262 / IEC65108).
• DAL-A or DAL-B programme experience.
• Aerospace, defence or autonomous systems background.
• Formal verification or static analysis experience.
• Real-time verification tooling for safety-critical projects including SIL, HIL, SIH.
• Verification of flight control or mission-critical systems.
• Knowledge of SORA, airworthiness or aviation certification frameworks.
• Experience supporting autonomous aircraft, UAV or UAS programmes.

Other Stuff

• Salary to £60k
• Hybrid role - 3 days a week on site in Witney, Tues, Wed, Thurs
• Benefits include; EV Car Scheme, Cycle to Work Scheme, Company socials, Thursday in-office lunch on them, 25 days holiday

NB: for non-UK Citizens; we cannot accept applications from anyone requiring sponsorship (now or in the future) for UK permanent employment status. If you are utilising a work visa this must allow you to work in the UK unrestricted for at least the next 5 years.

Profile 29 recruitment keywords: Machine Learning, Reinforcement Learning, Autonomous Systems, Assurance, Hardware, Software, Systems Integration, Artificial Intelligence, Embedded Software, Embedded Systems, Space Autonomy, Assured Autonomy, High Integrity Software, Assured Autonomy, and Assured Autonomous Behaviours Witney, Oxfordshire hybrid remote