Formal Design Verification Engineer

AMD
Austin
Workplace: OnsiteFull timeFunction: Design (Product/UX/UI/Visual)Education: bachelorsSkills: ["Collaborative","Communication","Problem-solving","Teamwork","Detail oriented"]

Join AMD’s Central Verification team to advance formal verification (FV) methodologies and flows for hardware design. You’ll contribute to verification flows used across AMD projects, drive or support FV projects, and share knowledge through hands-on work, documentation, and presentations. Collaboration across global teams and a passion for formal methods are essential to improve design quality.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
AMD
AMD
5 months ago

Formal Design Verification Engineer

✓ Verified Job

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

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

Job Summary

Join AMD’s Central Verification team to advance formal verification (FV) methodologies and flows for hardware design. You’ll contribute to verification flows used across AMD projects, drive or support FV projects, and share knowledge through hands-on work, documentation, and presentations. Collaboration across global teams and a passion for formal methods are essential to improve design quality.
Location: Austin
Workplace: Onsite
Employment Type: Full time
Job Function: Design (Product/UX/UI/Visual)

Key Responsibilities

  • •Contribute to products, flows, and methodologies that support extensive and efficient use of formal verification across AMD
  • •Drive or support projects that apply formal verification, tools, and techniques to improve hardware design and implementation quality
  • •Identify the best solutions available inside and outside of the company; evaluate and facilitate the deployment of the improved solution
  • •Share knowledge through hands-on work, documentation, and presentation
  • •Collaborative, able to work with teammates and teams across the globe to advance FV initiatives

Key Requirements

  • •Strong programming, scripting and debugging skills
  • •Hands on experience with using formal verification tools from EDA vendors
  • •Knowledge of static analysis and/or formal methods (formal logic and model checking)
  • •Ability to understand hardware description languages and hardware design
  • •Collaborative, able to work with teammates and teams across the globe
Experience:HardwareVerificationFVSemiconductor
Education:Bachelor's in computer engineering/Electrical Engineering
Skills:CollaborativeCommunicationProblem-solvingTeamworkDetail oriented
Languages:English
Tech Stack:VerilogVHDLEDA toolsPythonScriptingModel checking

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