GPU Formal Verification Lead Architect

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

Job summary

AMD is seeking a Lead GPU Formal Verification Engineer for their Cambridge office. This role involves driving innovative formal verification techniques for next-generation graphics IP designs. The ideal candidate will possess strong leadership and formal verification skills and will work collaboratively across teams.

Key responsibilities include developing methodologies and defining strategies for verification expansion. Candidates should have a degree in Computer Science or related fields, and experience in the semiconductor industry is highly preferred.

Qualifications

• Experience with modern processors like CPU, GPU, or AI.
• Knowledge of formal verification algorithms and use cases.
• Ability to drive formal verification team.

Responsibilities

• Define strategy for formal verification expansion.
• Develop formal verification methodology for design.
• Lead research in emerging formal verification fields.

Skills

Formal verification techniques

Communication skills

Leadership skills

Education

Undergraduate degree (Master or PhD preferred in CS/CE/EE)

Tools

System Verilog

Formal verification tools (JasperGold, VC formal)

Job description

AMD is seeking a Lead GPU Formal Verification Engineer for their Cambridge office. This role involves driving innovative formal verification techniques for next-generation graphics IP designs. The ideal candidate will possess strong leadership and formal verification skills and will work collaboratively across teams.

Key responsibilities include developing methodologies and defining strategies for verification expansion. Candidates should have a degree in Computer Science or related fields, and experience in the semiconductor industry is highly preferred.