Senior / Staff Formal Verification Engineer - GPU
- Hiring Organisation
- European Tech Recruit
- Location
- Cambridge, England, United Kingdom
edge sign-off methodologies. Key requirements: Mastery of industry-standard formal tools (e.g., JasperGold, VC Formal, or Questa Formal). Hands-on expertise writing SystemVerilog Assertions. PExperience in deep bug-hunting, coverage closure, and achieving formal sign-off on complex IPs. Knowledge of GPU architectures or sequential equivalence checking ...