AMD

1 month ago

Lead Formal Verification Engineer (GPU)

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI

Last checked: 8 hours agoStatus: Live

Job Summary

Lead GPU Formal Verification Engineer to drive cutting-edge formal verification techniques for AMD’s next-generation graphics IP. Define roadmaps, strategy, and infrastructure; collaborate with architecture and design teams to expand formal verification adoption across the IP development life cycle; mentor and coordinate a cross-functional team to deliver high-quality, scalable verification under tight schedules.

Location: Cambridge

Workplace: Hybrid

Employment Type: Full time

Job Function: Administration & Executive Assistance

Key Responsibilities

•Define long-term strategy for formal verification expansion and steer the technical roadmap for GFXIP.
•Develop and apply cutting-edge formal verification methodologies to cover datapath and control logic in graphics design; scale verification for large, critical designs and drive adoption across the IP development life cycle.
•Define and drive best-in-class formal verification infrastructure to improve productivity and enable more engineers to use advanced verification techniques.
•Lead the research group for emerging formal verification domains (security, safety, low power, architect level) and explore formalization of ISA and memory models for GFXIP.
•Stay informed of latest trends in formal verification and build technical relationships across AMD Design teams to foster cross-department innovation and collaboration.

Key Requirements

•Undergrad degree required; Master or PhD preferred in Computer Science/Computer Engineering/Electrical Engineering
•Proven experience with formal verification techniques for complex processors (CPU, GPU, AI processor)
•Leadership skills to influence and drive a formal verification team
•Excellent communication and collaboration across architecture, design, and verification teams
•Expertise with formal verification tools and techniques (e.g., SystemVerilog assertion, induction, reduction, abstraction) and familiarity with tools such as JasperGold, VC Formal, Murphi

Experience:GPUGraphics IPFormal verificationASIC

Education:Bachelor's

Skills:SystemVerilogJasperGoldVC FormalMurphiAssertionFormal verificationGraphics

Languages:English

Tech Stack:SystemVerilogJasperGoldVC FormalMurphi

Company Brief

AMD

Designs and produces semiconductor products including CPUs, GPUs, and adaptive SoCs for consumer, enterprise, and embedded markets, competing across PCs, data centers, and gaming industries.

Industry: Electronics Manufacturing

Company Size: Enterprise (1,001+ employees)

Revenue: USD 1B+

Growth: Public Company

Valuation: Public Company (Market Cap in USD)

Funding: IPO / Publicly Listed

Headquarters: Santa Clara, United States

Founded: 1969

Glassdoor: 3.9

Website LinkedIn

Loading job details...

Preparing the role view and application actions.

AMD