This role pays more than
80%
of similar roles. Most pay
$177,150–$216,250
— the shaded band above.
At the midpoint, this role pays about
$223k
versus about
$197k
for comparable roles.
Based on 240 similar postings.
Employer
About Amd
AMD (Advanced Micro Devices) is a semiconductor company that develops high-performance processors, graphics cards, and adaptive computing solutions for gaming, data centers, and embedded markets. Industry: Semiconductors
Amd currently has
367 open roles
on FindRole.
Listed pay typically runs
$166,400–$249,600
across 367 roles with salary data.
Lead Formal Verification Engineer will join the team to drive formal verification strategy, methodology, and adoption across next-generation graphics and GPU IP. This technical leadership role involves partnering with architecture, design, and verification teams to improve quality, scalability, and productivity for complex hardware projects. The individual will develop advanced verification techniques, build reusable infrastructure and automation workflows, and research emerging applications in security, safety, low power, and architectural verification. Required expertise includes formal verification methodologies, algorithms, proof engines, SystemVerilog Assertions (SVA), property development, and abstract model creation. Proficiency with tools like JasperGold, VC Formal, Murphi, or theorem provers is essential. The role focuses on solving convergence problems using induction, abstraction, reduction, and decomposition to verify large-scale processor architectures including GPU, CPU, and AI accelerator designs within the graphics pipeline domain.
Define and drive the formal verification strategy, methodology, and technical roadmap for graphics IP.
Lead formal verification efforts for complex GPU and processor designs to improve coverage and scalability.
Develop and deploy advanced verification techniques to solve challenging convergence and verification problems.
Create reusable infrastructure, automation, and workflows to increase overall verification productivity.
Influence design quality and verification planning by partnering with architecture, design, and verification teams.
Research and evaluate emerging formal verification applications in security, safety, low power, and architectural verification.
What we're looking for
An undergraduate degree is required.
A Master's or PhD in Computer Science, Computer Engineering, or Electrical Engineering is preferred.
In-depth knowledge of formal verification methodologies, algorithms, proof engines, and practical applications for complex digital designs is required.
Proven expertise in SystemVerilog Assertions (SVA), property development, and abstract model creation is required.
Expert-level experience with formal verification tools such as JasperGold, VC Formal, Murphi, or similar EDA solutions is required.
Experience delivering high-quality verification for large-scale processor architectures like GPU, CPU, or AI accelerators is required.
Proven experience developing formal verification infrastructure for functional property verification, datapath verification, and equivalence checking is required.
PhD degree in Computer Science/ Computer Engineering/ Electrical Engineering.
UVM
SystemVerilog
Verilog
Python
C++
HLS
VCS
Verdi
GDB
DisplayPort
HDMI
MIPI DSI
Assertion-based Verification
Functional Coverage
Constrained-random
Version Control