Staff Formal Verification Engineer (GPU)
- Hiring Organisation
- AMD
- Location
- Cambridge, Cambridgeshire, United Kingdom
- Salary
- £ 80 K
Design community and peers. Drive cross-department innovation and collaboration inside AMD.PREFERRED EXPERIENCE:In-depth knowledge in formal verification algorithms, engines and use casesProven expertise in system Verilog assertion and abstract model developmentExpert user of formal verification tools from both academy and EDA vendors (JasperGold, VC formal, Murphi … processor. Comprehensive knowledge of computer architecture and graphics pipelineProven expertise in developing formal verification infrastructure for FPV, DPV, SEV and other use cases is strongly preferredACADEMIC CREDENTIALS:Undergrad degree required. Master or PhD degree in Computer Science/Computer Engineering/Electrical Engineering preferredLOCATIONCambridge, United Kingdom (Hybrid)#LI ...