Lead Formal Verification Engineer

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

ADVANCE YOUR CAREER. ADVANCE THE WORLD.

At AMD, we believetechnology has the power to solve the world's most important challenges. From advancing healthcare and scientific discovery to powering AI and the technologies people rely on every day, innovation at AMD is shaping the future.

Whenever you're redesigning next-gen processors, enabling AI breakthroughs, or bringing leading edge products to market, every role at AMD contributes to something bigger—technology that moves the world forward. Join us and, together, we'll advance your career.

THE ROLE:

AMD is seeking a Lead Formal Verification Engineer to help drive formal verification strategy, methodology, and adoption across next-generation graphics and GPU IP. This highly visible technical leadership role will partner closely with architecture, design, and verification teams to improve verification quality, scalability, and productivity across complex hardware projects. The successful candidate will play a key role in expanding formal verification across the development lifecycle, advancing verification methodologies, and influencing technical direction across a growing organization. This is an opportunity to work on industry-leading graphics technologies while helping shape the future of formal verification within AMD.

THE PERSON:

You are a recognized formal verification expert who enjoys solving complex technical challenges and driving innovation. You bring strong leadership and collaboration skills, can influence technical direction across teams, and are passionate about building scalable verification solutions that improve product quality and engineering efficiency.

KEY RESPONSIBLITIES:

• 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.

PREFERRED EXPERIENCE:

• In-depth knowledge of formal verification methodologies, algorithms, proof engines, and practical applications across complex digital designs.
• Proven expertise in SystemVerilog Assertions (SVA), property development, and abstract model creation.
• Expert-level experience with formal verification tools such as JasperGold, VC Formal, Murphi, theorem provers, or similar EDA solutions.
• Demonstrated success delivering high-quality verification for large-scale processor architectures, including GPU, CPU, AI accelerator, or other high-performance compute designs; strong understanding of computer architecture and graphics pipelines preferred.
• Proven experience developing formal verification infrastructure supporting applications such as functional property verification, datapath verification, equivalence checking, security verification, or related use cases.
• Experience solving challenging formal convergence problems and scaling formal verification through advanced techniques such as induction, abstraction, reduction, decomposition, and related approaches.

ACADEMIC CREDENTIALS:

• Undergrad degree required. Master or PhD degree in Computer Science/ Computer Engineering/ Electrical Engineering preferred.

LOCATIONS

• Austin, TX, Orlando, FL and San Diego, CA

This role is not eligible for visa sponsorship.

Benefits offered are described: AMD benefits at a glance.

AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third-party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law. We encourage applications from all qualified candidates and will accommodate applicants' needs under the respective laws throughout all stages of the recruitment and selection process.

AMD may use Artificial Intelligence to help screen, assess or select applicants for this position. AMD's Responsible AI Policy is available here.

This posting is for an existing vacancy.