CPU Formal Verification Lead

AMD; Cambridge; On-site; GBP 70,000 - 100,000; Full time

Job summary

AMD is seeking an experienced Formal Verification Engineer to lead and advance formal verification for next-generation CPU IP. The role collaborates with architecture, design and central verification teams to shape methodology and execution across AMD’s CPU portfolio.

You will architect verification strategies, scale to large designs, and drive innovations in formal methods while partnering across AMD’s engineering ecosystem to deliver high-quality results on aggressive timelines.

Qualifications

• Hands-on experience developing Assertion IP (AIP) and end-to-end properties.
• Strong debugging skills for microarchitectural failures.
• Experience with formal tools from academia and EDA vendors.

Responsibilities

• Architect and execute formal verification methodologies for CPU design.
• Scale verification to large, critical designs across the IP lifecycle.
• Resolve convergence with techniques like induction and abstraction.
• Build and maintain formal verification infrastructure for engineering teams.
• Explore formalization of ISA and memory models for CPU IP.
• Collaborate across AMD design communities and EDA partners.

Skills

Formal verification

CPU architecture

Leadership

Education

Bachelor's or Master's in computer/ electrical engineering

Tools

JasperGold

VC Formal

Job description

AMD is seeking an experienced Formal Verification Engineer to lead and advance formal verification for next-generation CPU IP. The role collaborates with architecture, design and central verification teams to shape methodology and execution across AMD’s CPU portfolio.

You will architect verification strategies, scale to large designs, and drive innovations in formal methods while partnering across AMD’s engineering ecosystem to deliver high-quality results on aggressive timelines.