Lead CPU Formal Verification Architect

Advanced Micro Devices; Cambridge; On-site; GBP 90,000 - 120,000; Full time

Job summary

AMD Cambridge is seeking an experienced Formal Verification Engineer to lead and execute formal verification across CPU IP. You will collaborate with architecture, design, and central formal verification teams to shape methodology, infrastructure, and execution.

You will join a core team of experts working on cutting-edge CPU IP technologies, driving verification quality under tight timelines and building scalable verification solutions.

Qualifications

• Experience with Assertion IP (AIP) and end-to-end properties.
• Strong debugging skills for architectural failures.
• Experience with formal tools from academia/EDA vendors like JasperGold or VC Formal.

Responsibilities

• Architect and execute formal verification methodologies for CPU design.
• Scale formal verification to large CPU IP designs.
• Resolve convergence challenges using induction proofs and abstraction.
• Build and maintain formal verification infrastructure.
• Explore formalization of ISA and memory models.
• Collaborate with AMD design teams and EDA partners.
• Drive AMD-wide formal verification excellence.

Skills

Assertion IP development

End-to-end properties

Formal tools

Debugging

CPU architecture

FPV infrastructure

Education

Bachelor's or Master's in Computer/Electrical Engineering

Tools

JasperGold

VC Formal

Job description

AMD Cambridge is seeking an experienced Formal Verification Engineer to lead and execute formal verification across CPU IP. You will collaborate with architecture, design, and central formal verification teams to shape methodology, infrastructure, and execution.

You will join a core team of experts working on cutting-edge CPU IP technologies, driving verification quality under tight timelines and building scalable verification solutions.