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 RoleAs 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 validationRuntime assurance and safety monitoringCertification and design assurance activitiesKey ResponsibilitiesDevelop and execute verification activities for safety-critical embedded softwareSupport verification of high integrity software and autonomous system safety functionsWork with engineering and certification teams to support compliance with applicable safety standardsWhat We're Looking ForStrong background in software verification and validation within safety critical or regulated environmentsExperience with embedded or real time systems and languages such as C, C++, Ada or similarUnderstanding of high integrity software development processes and verification methodologiesDO 178C, DAL A or DAL B verification experienceAda, SPARK Ada, formal methods or model-based developmentAerospace, defence, autonomous systems, flight control, avionics, UAV, UAS, drone or eVTOL experienceWhy 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: OxfordshireWorking Pattern: Hybrid

#J-18808-Ljbffr