Staff Formal Verification Engineer (GPU)
- Hiring Organisation
- AMD
- Location
- Cambridge, Cambridgeshire, United Kingdom
- Salary
- £ 80 K
tight schedule. In this role the candidate will work with architecture team, design team and central formal verification team to define our formal verification roadmap, strategy, methodology, infrastructure and expand formal verification adoption through project execution. The candidate will be the primary point of contact for all GFXIP formal … drive the best-in-class formal verification infrastructure to improve formal verification productivity. Enable more verification engineers to adopt this advanced verification technology without deep formal verification knowledgeLead the research group for emerging formal verification domains like security, safety, low power, architect level formal verification, etc. Explore ...