Senior GPU Formal Verification Architect

Advanced Micro Devices; Cambridge; Hybrid; GBP 70,000 - 90,000; Full time

Job summary

Advanced Micro Devices is hiring a Lead GPU Formal Verification Engineer in Cambridge, United Kingdom. This role focuses on cutting-edge verification techniques for graphics IP design, requiring strong leadership and collaboration skills.

The ideal candidate possesses extensive experience in formal verification and system Verilog, and will define the formal verification roadmap and infrastructure. This hybrid position offers an opportunity to impact AMD's innovative approach to next-generation graphics.

Qualifications

• Demonstrated rich experience in formal verification techniques for modern processors.
• Strong leadership skills to influence and drive the formal verification team.
• Ability to communicate effectively across various teams.

Responsibilities

• Define long-term strategy for formal verification expansion.
• Develop formal verification methodology covering graphics design.
• Lead research for emerging formal verification domains.

Skills

Formal verification techniques

Leadership

System Verilog assertion

Formal verification tools

Computer architecture

Education

Undergraduate degree required

Master or PhD in Computer Science, Computer Engineering or Electrical Engineering preferred

Tools

JasperGold

VC formal

Murphi

Job description

Advanced Micro Devices is hiring a Lead GPU Formal Verification Engineer in Cambridge, United Kingdom. This role focuses on cutting-edge verification techniques for graphics IP design, requiring strong leadership and collaboration skills.

The ideal candidate possesses extensive experience in formal verification and system Verilog, and will define the formal verification roadmap and infrastructure. This hybrid position offers an opportunity to impact AMD's innovative approach to next-generation graphics.