Staff Formal Verification Engineer (GPU)
- Hiring Organisation
- AMD
- Location
- Cambridge, Cambridgeshire, United Kingdom
- Salary
- £ 80 K
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, theorem prover)Proven track record ...