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.

The Role

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

Key Responsibilities

• 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

What We're Looking For

• 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

Why Consider It?

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

#J-18808-Ljbffr