Safety-Critical Verification Engineer – Oxford (Hybrid)
Are you a Safety-Critical Verification Engineer looking to work on technology that will shape the future of autonomous systems?
We’re working with an innovative technology company developing next-generation autonomy assurance solutions that enable the safe deployment of autonomous and AI-enabled systems across highly regulated environments. Working with leading aerospace, defence and autonomy organisations, you’ll help verify and assure high-integrity software systems that provide runtime assurance, safety monitoring and certification-ready capabilities for mission and flight-critical applications.
The Role
As part of a specialist engineering team, you’ll be responsible for defining and executing verification activities across safety-critical embedded systems, helping scale a pioneering autonomy assurance platform from MVP to enterprise deployment. Working within a high-assurance engineering environment, you’ll support the verification and certification of software developed using SPARK Ada, ensuring compliance with rigorous safety and regulatory standards.
Key Responsibilities
- Develop and execute verification strategies for safety-critical software.
- Perform requirements-based testing and validation activities.
- Support software certification and compliance evidence generation.
- Work closely with software, systems and certification teams.
- Contribute to DAL-A and DAL-B capable software programmes.
- Support integration, system and qualification testing activities.
Required Experience
- Strong background in software 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 safety-critical environments.
- Knowledge of embedded or real-time systems.
- Understanding of software lifecycle, testing and traceability.
- Experience supporting regulated development programmes.
- Familiarity with verification methodologies and certification processes.
- Aerospace, Defence or Autonomous Systems.
- DAL-A or DAL-B programmes.
- Flight controls, avionics, UAVs or drones.
- SPARK Ada, Ada or formal verification techniques.
- Requirements-based testing and certification evidence generation.
- Software assurance, static analysis or formal methods.
#J-18808-Ljbffr…