Lead Formal Verification Engineer - GPU IP Strategy

Advanced Micro Devices, Inc.; Austin (TX); On-site; USD 150,000 - 230,000; Full time

Job summary

Advanced Micro Devices, Inc. is seeking a Lead Formal Verification Engineer to guide strategy, methodology, and adoption across AMD's graphics and GPU IP.

This highly visible leadership role will partner with architecture, design, and verification teams to improve verification quality, scalability, and productivity across complex hardware projects. The ideal candidate brings deep expertise in formal verification, SystemVerilog Assertions, and industry tools such as JasperGold, VC Formal, and

Qualifications

• In-depth knowledge of formal verification methodologies, algorithms, proof engines, and practical applications across complex digital designs.
• Proven expertise in SystemVerilog Assertions (SVA), property development, and abstract model creation.
• Expert-level experience with formal verification tools such as JasperGold, VC Formal, Murphi, theorem provers, or similar EDA solutions.
• Demonstrated success delivering high-quality verification for large-scale processor architectures, including GPU, CPU, AI accelerator, or other high-performance compute designs; strong understanding of computer architecture and graphics pipelines preferred.
• Proven experience developing formal verification infrastructure supporting applications such as functional property verification, datapath verification, equivalence checking, security verification, or related use cases.
• Experience solving challenging formal convergence problems and scaling formal verification through advanced techniques such as induction, abstraction, reduction, decomposition, and related approaches.

Responsibilities

• Define and drive formal verification strategy, methodology, and technical roadmap for graphics IP.
• Lead formal verification efforts for complex GPU and processor designs while improving coverage, quality, and scalability.
• Develop and deploy advanced verification techniques to solve challenging convergence and verification problems.
• Drive development of reusable infrastructure, automation, and workflows that improve verification productivity.
• Partner with architecture, design, and verification teams to influence design quality and verification planning.
• Research and evaluate emerging formal verification applications in areas such as security, safety, low power, and architectural verification.

Skills

Formal verification

SVA

Induction & abstraction

Leadership

Education

Bachelors degree in CS/CE/EE

Master or PhD preferred

Tools

JasperGold

VC Formal

Murphi

Theorem provers

Job description

Advanced Micro Devices, Inc. is seeking a Lead Formal Verification Engineer to guide strategy, methodology, and adoption across AMD's graphics and GPU IP.

This highly visible leadership role will partner with architecture, design, and verification teams to improve verification quality, scalability, and productivity across complex hardware projects. The ideal candidate brings deep expertise in formal verification, SystemVerilog Assertions, and industry tools such as JasperGold, VC Formal, and