below marketmost similar roles pay hereabove market
This role pays more than
87%
of similar roles. Most pay
$168,500–$227,350
— the blue band above.
At the midpoint, this role pays about
$250k
versus about
$198k
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
510 open roles
on FindRole.
Listed pay typically runs
$172,000–$258,000
across 510 roles with salary data.
The 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 verification quality, scalability, and productivity for complex hardware projects. The successful candidate will define technical roadmaps, develop reusable infrastructure, and research emerging applications in security, safety, and low power. Key responsibilities include solving convergence problems and developing automation workflows. Required skills include in-depth knowledge of formal verification methodologies, algorithms, and proof engines. Candidates must demonstrate expertise in SystemVerilog Assertions, property development, and abstract model creation using tools like JasperGold, VC Formal, or Murphi. Experience with large-scale processor architectures, including GPU and AI accelerators, is essential.
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 improve overall verification productivity.
Partner with architecture and design teams to influence design quality and verification planning.
Research and evaluate emerging formal verification applications for security, safety, and low power.
What we're looking for
Bachelor's degree required.
Master's or PhD degree in Computer Science, Computer Engineering, or Electrical Engineering (preferred).
In-depth knowledge of formal verification methodologies, algorithms, proof engines, and practical applications across complex digital designs (preferred).
Proven expertise in SystemVerilog Assertions (SVA), property development, and abstract model creation (preferred).
Expert-level experience with formal verification tools such as JasperGold, VC Formal, Murphi, theorem provers, or similar EDA solutions (preferred).
Demonstrated success delivering high-quality verification for large-scale processor architectures, including GPU, CPU, AI accelerator, or other high-performance compute designs (preferred).