Lead Formal Verification Engineer

ADVANCE YOUR CAREER.

ADVANCE THE WORLD.

At AMD, we believe technology can change lives for the better.

It can heal us, entertain us, and make us more connected, productive, and understanding of the world around us.

And we’re looking for talent who feel the same: people who want to leave the planet better than they found it, those who don’t shy away from humanity’s challenges but are determined to help solve them.

AMD is powering the next generation of supercomputing, high-performance computing, cloud, and AI.

Whether you’re designing next-gen processors, enabling AI breakthroughs, or creating go-to-market plans, every role at AMD contributes to something bigger — technology that moves the world forward.

• 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.

• 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.