Formal Verification Engineer jobs in United States
info-icon
This job has closed.
company-logo

AMD · 1 month ago

Formal Verification Engineer

positionAustin, Texas
timeFull-time
remoteOnsite
seniorityNew Grad, Entry Level
money$104K/yr - $178K/yr

AMD is a company focused on building great products that enhance computing experiences. They are seeking a passionate and talented Senior Formal Verification Engineer to work with their GFXIP Formal Verification team, applying cutting-edge techniques to verify complex GPU designs.

Artificial Intelligence (AI)Cloud ComputingComputerEmbedded SystemsGPUHardwareSemiconductor
check
Growth Opportunities
check
H1B Sponsor Likelynote

Responsibilities

Drive formal verification execution with support from FV tech leads for GFX-IP blocks
Collaborate with design and architecture teams to understand design specifications and develop verification requirements
Utilize formal techniques to build comprehensive testbenches, striving for better convergence of formal proof
Debug testbench and/or design issues using formal tools and provide feedback for design improvements
Responsible for verification quality metrics like pass rates, code/functional coverage and proof convergence
Document formal verification processes, findings, and best practices
Continuously learn and stay abreast of advancements in formal verification and related technologies

Qualification

Formal verificationDigital designGPU architectureScripting languagesFormal toolsAnalytical skillsProblem-solving skillsCommunication skillsTeam player

Required

Undergrad degree required. Bachelors or Masters degree in computer engineering/Electrical Engineering preferred
Passion for modern, complex processor architecture, digital design, and verification
Excellent communication skills
Strong analytical and problem-solving skills
Willingness to learn and ready to take on problems

Preferred

Good understanding of computer organization/architecture
Knowledge of scripting languages such as Python or TCL
Internship or project experience in digital design or verification
Experience or familiarity with formal tools and/or functional verification tools from Synopsys, Cadence or Mentor Graphics

Company

AMD

twittertwittertwitter
Glassdoor4.1
company-logo
Advanced Micro Devices is a semiconductor company that designs and develops graphics units, processors, and media solutions.
dateFounded in 1969
location
Santa Clara, California, USA
people-size10001+ employees
web-link
http://www.amd.com

H1B Sponsorship

AMD has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (836)
2024 (770)
2023 (551)
2022 (739)
2021 (519)
2020 (547)

Funding

Current Stage
Public Company
Total Funding
unknown
Key Investors
OpenAIDaniel Loeb
2025-10-06Post Ipo Equity
2023-03-02Post Ipo Equity
2021-06-29Post Ipo Equity

Leadership Team

leader-logo
Lisa Su
Chair & CEO
linkedin
leader-logo
Mark Papermaster
CTO and EVP
linkedin

Recent News

Italian Startups - Startupbusiness.it
GENE.01, the first humanoid robot from Generative Bionics
2026-01-07
Mashable
CES 2026: AMD says You aint seen nothing yet on AI
2026-01-07
PCMag Australia
AMD’s New Ryzen AI 400 CPUs Will Put More AI Muscle Into Laptops, Mini Desktops
2026-01-07
Company data provided by crunchbase