Lead GPU Formal Verification Engineer

AMD; Cambridge; Hybrid; GBP 90,000 - 130,000; Full time

Benefits offered by this job

AMD benefits at a glance

Job summary

AMD Cambridge is seeking a Lead GPU Formal Verification Engineer to drive cutting-edge formal verification techniques for our next-generation graphics IP designs. You will lead and mentor the GFXIP formal verification team, partner with architecture and design, and shape the formal verification roadmap, strategy and infrastructure.

The ideal candidate combines deep knowledge of formal verification algorithms with hands-on experience in SystemVerilog assertions and large-scale processor

Qualifications

• In-depth knowledge in formal verification algorithms, engines and use cases.
• Proven expertise in system Verilog assertion and abstract model development.
• Expert user of formal verification tools from both academy and EDA vendors (JasperGold, VC formal, Murphi, theorem prover).
• Proven track record of delivering high quality verification under tight schedule for modern, large scale processor design like CPU, GPU or AI processor. Comprehensive knowledge of computer architecture and graphics pipeline.
• Proven expertise in developing formal verification infrastructure for FPV, DPV, SEV and other use cases is strongly preferred

Responsibilities

• Define long-term strategy for formal verification expansion and steer the technical roadmap.
• Develop cutting-edge formal verification methodology to cover the whole graphics design, including both datapath and control logic. Scale formal verification to big and critical design for bug-free quality. Expand formal verification adoption to the whole IP development life cycle. Resolve challenging convergence issue through world class formal verification techniques like induction, reduction, abstraction, etc.

Skills

Formal verification algorithms

SystemVerilog assertions

Big-processor verification

Graphics pipeline knowledge

Infra for FPV/DPV/SEV

Education

Undergrad degree

Tools

JasperGold

VC formal

Murphi

Theorem prover

Job description

AMD Cambridge is seeking a Lead GPU Formal Verification Engineer to drive cutting-edge formal verification techniques for our next-generation graphics IP designs. You will lead and mentor the GFXIP formal verification team, partner with architecture and design, and shape the formal verification roadmap, strategy and infrastructure.

The ideal candidate combines deep knowledge of formal verification algorithms with hands-on experience in SystemVerilog assertions and large-scale processor