← All roles

Formal Design Verification Engineer

AMD· Engineering
Apply on company site
Austin, TX$144.8kFull-timePosted 6mo ago

About the role

Formal Design Verification Engineer focusing on Formal Verification (FV) methodologies and flows within AMD’s Central Verification team to improve hardware design quality and enable scalable verification across projects.

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

Qualifications

  • Bachelors or Masters degree in computer engineering/Electrical Engineering

Skills

Required:ProgrammingFormal verification toolsHDL understandingCollaboration / teamworkLearning mindsetDetail orientation
Nice to have:Static analysis / formal methodsData analysis / MLCloud computing

Benefits

  • Benefits offered are described: AMD benefits at a glance
Last updated Oct 15, 2026. Interested? Apply on the company site.
AMD logo

About AMD

together we advance_AI

AMD delivers leadership high-performance and adaptive computing solutions to advance data center AI, AI PCs, intelligent edge devices, gaming, & beyond.

AIData CenterHigh-Performance ComputingGamingEdge Devices
Company profileWebsite

More open roles at AMD