Senior Formal Verification Lead — Graphics & GPU IP

AMD; Austin (TX); On-site; USD 140,000 - 210,000; Full time

Job summary

AMD seeks a Lead Formal Verification Engineer to drive formal verification strategy across next-generation graphics and GPU IP. You will collaborate with architecture, design, and verification teams to improve verification quality, scalability, and productivity, delivering high-quality results in a fast-paced hardware environment.

You will lead efforts in complex GPU/processor designs, develop advanced verification techniques, and expand reusable verification infrastructure.

Qualifications

• In-depth knowledge of formal verification methodologies and practical applications across complex digital designs and GPUs.
• Proven expertise in SystemVerilog Assertions (SVA) and property creation.
• Experience with formal verification tooling and scalable infrastructure.
• Strong leadership and collaboration across architecture, design and verification teams.

Responsibilities

• Define and drive formal verification strategy and technical roadmap for graphics IP.
• Lead formal verification efforts for GPU/processor designs, improve coverage and scalability.
• Develop and deploy advanced verification techniques for convergence and verification problems.
• Build reusable infrastructure, automation, and workflows to boost productivity.
• Partner with architecture/design/verification teams to influence design quality and verification plans.
• Research and evaluate emerging formal verification applications (security, safety, low power).

Skills

Formal verification

SVA

Induction

Abstraction

Leadership

Collaboration

Verification strategy

Education

B.S. in CS/CE/EE

M.S. or PhD preferred

Tools

JasperGold

VC Formal

Murphi

Theorem provers

Job description

AMD seeks a Lead Formal Verification Engineer to drive formal verification strategy across next-generation graphics and GPU IP. You will collaborate with architecture, design, and verification teams to improve verification quality, scalability, and productivity, delivering high-quality results in a fast-paced hardware environment.

You will lead efforts in complex GPU/processor designs, develop advanced verification techniques, and expand reusable verification infrastructure.