Software Verification Engineer

A Global semiconductor giant based in Cambridge are seeking to bolster their team with a talented Formal Verification Engineer.Please note this opportunity is based on-site in Cambridge.Responsibilities:Develop a deep understanding of the 3D graphics hardware pipeline, including feature sets, data paths, block functionalities, and interfacesPlan and implement Formal Property Verification (FPV) strategies, including assertion-based testbenches, formal proofs, and sign-off matricesCollaborate with GPU architecture, RTL design, and DV teams globally to ensure project goals and quality targets are metDebug RTL artifacts, drive coverage closure, and resolve complex verification challenges in formal proof environmentsEngage with EDA vendors and explore innovative formal verification methodologies to enhance verification quality and efficiencyRequirements:Hands-on experience with industry-standard formal verification tools and techniquesProficiency in writing SystemVerilog Assertions and managing formal proof complexity using abstraction methodsStrong experience in bug-hunting, coverage closure, and achieving formal verification sign-offKnowledge of GPU architecture is advantageous but not required; familiarity with additional formal applications such as DPV, C-to-RTL SEQ, or RTL-to-RTL SEQ is a plusExcellent communication skills, ability to learn quickly, and a proactive approach to delivering high-quality resultsIf this role is of interest please apply directly on LinkedIn or send a copy of your CV to [email protected] applying to this role you understand that we may collect your personal data and store and process it on our systems. For more information please see our Privacy Notice (https://eu-recruit.com/about-us/privacy-notice/)

#J-18808-Ljbffr