Lead GPU Formal Verification Engineer

AMD; Austin (TX); On-site; USD 160,000 - 230,000; Full time

Job summary

AMD seeks a Lead Formal Verification Engineer to shape the verification strategy and drive adoption across GPU IPs. You will collaborate with architecture, design, and verification teams to improve quality, coverage, and scalability of formal methods.

You will lead convergence and verification problems, develop reusable infra, and push advanced verification techniques across complex hardware projects. This role emphasizes leadership and technical breadth.

Qualifications

• In-depth knowledge of formal verification methodologies, algorithms, proof engines, and practical applications across complex digital designs.
• Proven experience with SystemVerilog Assertions (SVA) and property development.
• Experience with leading formal verification tools and infrastructure.

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 methodologies

SystemVerilog Assertions

Proof engines

Induction & abstraction

JasperGold

VC Formal

Murphi

GPU/processor architectures

Education

Bachelor's degree in Computer Science/Computer Engineering/Electrical Engineering

Master's or PhD preferred

Tools

JasperGold

VC Formal

Murphi

Theorem Provers

Job description

AMD seeks a Lead Formal Verification Engineer to shape the verification strategy and drive adoption across GPU IPs. You will collaborate with architecture, design, and verification teams to improve quality, coverage, and scalability of formal methods.

You will lead convergence and verification problems, develop reusable infra, and push advanced verification techniques across complex hardware projects. This role emphasizes leadership and technical breadth.