Lead Formal Verification Engineer – Graphics & GPU IP

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

Benefits offered by this job

Benefits at a glance

Job summary

Advanced Micro Devices, Inc. in Austin, TX is seeking a Lead Formal Verification Engineer to drive strategy across next-generation graphics and GPU IP.

This technical leadership role partners with architecture, design, and verification teams to improve quality, scalability, and productivity across complex hardware. You will expand formal verification across the development lifecycle, advance methodologies, and help shape the direction of verification within AMD.

Qualifications

• In-depth knowledge of formal verification methodologies and practical applications.
• Proven experience with SystemVerilog Assertions (SVA) and property development.
• Expertise with JasperGold, VC Formal, Murphi, or similar tools.
• Experience verifying large-scale GPU/processor designs; graphics knowledge preferred.
• Strong leadership and collaboration skills.

Responsibilities

• Define and drive formal verification strategy and roadmap for graphics IP.
• Lead verification efforts for GPU and processor designs, improving coverage.
• Develop advanced verification techniques to address convergence problems.
• Build reusable verification infrastructure and automated workflows.
• Collaborate with architecture, design, and verification teams to shape quality.

Skills

Formal verification

SVA

Induction techniques

Leadership

Verification scalability

Education

Undergrad degree

Master or PhD preferred

Tools

JasperGold

VC Formal

Murphi

Job description

Advanced Micro Devices, Inc. in Austin, TX is seeking a Lead Formal Verification Engineer to drive strategy across next-generation graphics and GPU IP.

This technical leadership role partners with architecture, design, and verification teams to improve quality, scalability, and productivity across complex hardware. You will expand formal verification across the development lifecycle, advance methodologies, and help shape the direction of verification within AMD.