CPU Formal Verification Engineer

AMD
Cambridge
Workplace: OnsiteFull timeGBP 69,510 - 99,300 annuallyFunction: Software EngineeringEducation: bachelorsSkills: ["Communication","Collaboration","Problem-solving"]

Experienced formal verification engineer leading CPU design verification efforts. Drive AMD’s formal verification methodology across the CPU domain, collaborating with architecture and design teams to scale verification for large, complex processor designs, while advancing ISA and memory model formalization and maintaining industry-leading verification infrastructure.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
AMD
AMD
7 months ago

CPU Formal Verification Engineer

✓ Verified Job

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

Source: Company careers pageValidated by: Fursa AI
Last checked: 12 hours agoStatus: Live

Job Summary

Experienced formal verification engineer leading CPU design verification efforts. Drive AMD’s formal verification methodology across the CPU domain, collaborating with architecture and design teams to scale verification for large, complex processor designs, while advancing ISA and memory model formalization and maintaining industry-leading verification infrastructure.
Location: Cambridge
Workplace: Onsite
Employment Type: Full time
Job Function: Software Engineering

Key Responsibilities

  • •Architect and execute formal verification methodologies to comprehensively cover CPU design, including datapath and control logic.
  • •Scale formal verification to large, critical designs to ensure bug-free quality across the IP lifecycle.
  • •Resolve convergence challenges using advanced techniques such as proof by induction, COI reduction and abstraction.
  • •Build and maintain best-in-class formal verification infrastructure for adoption across engineering teams.
  • •Explore formalization of ISA and memory models for CPU IP.

Pay and Benefits

Salary: GBP 69,510 - 99,300 annually

Key Requirements

  • •Bachelor's or Master's degree in computer engineering or Electrical Engineering
Experience:SemiconductorsCPUProcessor architectures
Education:Bachelor's
Skills:CommunicationCollaborationProblem-solving
Languages:English
Tech Stack:JasperGoldVC FormalFPVFXPDPV

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