Software Verification Engineer

A rapidly growing technology business is developing assurance and safety capabilities for next-generation autonomous systems and is expanding its specialist engineering team.

We work across verification, embedded software, autonomy, aerospace, and safety-critical engineering, developing technology that gives confidence in autonomous systems operating in highly regulated environments.

As a Safety Critical Verification Engineer, you will contribute to the verification and validation of embedded safety critical systems supporting autonomous platforms.

You will work across:

• Safety-critical software verification and validation
• Runtime assurance and safety monitoring
• Certification and design assurance activities

• Develop and execute verification activities for safety-critical embedded software
• Support verification of high integrity software and autonomous system safety functions
• Work with engineering and certification teams to support compliance with applicable safety standards

• Strong background in software verification and validation within safety critical or regulated environments
• Experience with embedded or real time systems and languages such as C, C++, Ada or similar
• Understanding of high integrity software development processes and verification methodologies
• DO 178C, DAL A or DAL B verification experience
• Ada, SPARK Ada, formal methods or model-based development
• Aerospace, defence, autonomous systems, flight control, avionics, UAV, UAS, drone or eVTOL experience

This is an opportunity to work on technology addressing one of the major challenges facing autonomous systems: how to make increasingly capable systems safe, reliable and trusted enough for real-world deployment.

You will be working alongside a specialist engineering team developing technology with applications across autonomous aviation, defence, drones and next-generation autonomous vehicles.

Location:

Oxfordshire

Working Pattern:
Hybrid