Lead Formal Verification Engineer

Job Title

Lead Formal Verification Engineer

Role Summary

Lead technical strategy and adoption of formal verification across next-generation graphics and GPU IP. Partner with architecture, design, and verification teams to improve verification quality, scalability, and productivity for complex hardware projects.

Experience Level

Senior-level. No specific years of experience specified.

Responsibilities

Primary responsibilities focus on defining strategy, leading formal efforts on complex designs, and delivering scalable verification infrastructure.

• Define and drive formal verification strategy, methodology, and technical roadmap for graphics IP.
• Lead formal verification for complex GPU and processor designs, improving coverage, quality, and scalability.
• Develop and deploy advanced verification techniques to address convergence and verification challenges.
• Design and build reusable infrastructure, automation, and workflows to increase verification productivity.
• Collaborate with architecture, design, and verification teams to influence design quality and verification planning.
• Research and evaluate emerging formal verification applications (security, safety, low power, architectural verification).

Requirements

Must-have technical skills and team leadership appropriate for a lead formal verification role.

• In-depth knowledge of formal verification methodologies, algorithms, proof engines, and practical applications for digital designs.
• Proven expertise with SystemVerilog Assertions (SVA), property development, and abstract model creation.
• Expert-level experience with formal tools such as JasperGold, VC Formal, Murphi, theorem provers, or similar EDA tools.
• Experience delivering verification for large-scale processor architectures (GPU, CPU, AI accelerator) and strong understanding of computer architecture and graphics pipelines.
• Proven experience developing formal verification infrastructure for functional property verification, datapath verification, equivalence checking, security verification, or related use cases.
• Experience solving formal convergence and scaling problems using techniques such as induction, abstraction, reduction, and decomposition.
• Strong leadership and collaboration skills with the ability to influence technical direction across multiple teams.
• Must be authorized to work in the United States; this role is not eligible for visa sponsorship.

Education Requirements

Undergraduate degree required. Master’s or PhD in Computer Science, Computer Engineering, or Electrical Engineering preferred.

About the Company

Company: Advanced Micro Devices

Headquarters: Sunnyvale, California, USA

Advanced Micro Devices, or AMD, is a global semiconductor company that designs and manufactures microprocessors, graphics processors, and related technologies for a variety of computing devices. Known for pushing the boundaries of innovation, AMD's mission is to deliver high-performance computing solutions for AI, data centers, gaming, and embedded applications. They foster a collaborative, inclusive culture focused on creativity and problem-solving, aiming to drive progress and excellence in technology.