Staff Formal Verification Engineer (GPU)

AMD
Cambridge
Workplace: HybridFull timeFunction: Administration & Executive AssistanceEducation: bachelorsSkills: ["SystemVerilog","JasperGold","VC Formal","Murphi","Assertion","Formal verification","Graphics"]

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.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
AMD
AMD
2 months ago

Staff Formal Verification Engineer (GPU)

✓ Verified Job

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

Source: Company careers pageValidated by: Fursa AI
Last checked: 19 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
Glassdoor: 3.9
WebsiteLinkedIn