AMD ยท 2 weeks ago
Formal Verification Staff Engineer
Santa Clara, CA
Full-time
Onsite
Lead/Staff
$160K/yr - $240K/yrAMD is a company dedicated to building products that enhance computing experiences across various domains. The Formal Verification Staff Engineer will play a crucial role in improving AMD's capabilities to deliver high-quality technologies by applying advanced verification techniques and collaborating with cross-functional teams.
AI InfrastructureArtificial Intelligence (AI)Cloud ComputingComputerEmbedded SystemsGPUHardwareSemiconductor
Hiring Manager
Matthew Fesl
Responsibilities
Apply Advanced Formal Verification Techniques to AMDs cutting edge design for achieving Full Proofs
Maintain the best-in-class formal verification infrastructure to improve formal verification productivity
Develop technical relationship with broader AMD Design community and peers
Drive cross-department innovation and collaboration inside AMD
Be part of the R&D group for emerging formal verification domains like security, safety, low power, architecture level formal verification, etc
Qualification
Required
Adaptive, self-motivated formal verification engineer
Excellent communication skills
Experience collaborating with other engineers located in different sites
Strong analytical and problem-solving skills
Willingness to learn and take on problems
Apply Advanced Formal Verification Techniques to AMDs cutting edge design for achieving Full Proofs
Maintain the best-in-class formal verification infrastructure to improve formal verification productivity
Develop technical relationship with broader AMD Design community and peers
Drive cross-department innovation and collaboration inside AMD
Be part of the R&D group for emerging formal verification domains like security, safety, low power, architecture level formal verification, etc
System Verilog, Verilog Or VHDL, Scripting (TCL/Python) Skills Required
BS in Computer Engineering, Computer Science, Electrical Engineering or other related fields with extensive work experience, and/or MS / PhD with some work experience
Preferred
ASIC design, verification, or related work experience in Formal Verification
Verification skills: Formal verification, Assertion based verification, FPV and/or DPV
Complexity Analysis, Design Abstraction & Formal Coverage
Design debug, Deep bug hunting
Formal test planning, Formal tools - Jasper and/or VC-formal
Design knowledge either or all domains of CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, Cache
Benefits
AMD benefits at a glance.
Company
AMD
Advanced Micro Devices is a semiconductor company that designs and develops graphics units, processors, and media solutions.
Founded in 1969
10001+ employees
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 CompanyTotal Funding
unknownKey Investors
OpenAIDaniel Loeb
2025-10-06Post Ipo Equity
2023-03-02Post Ipo Equity
2021-06-29Post Ipo Equity
Leadership Team
Lisa Su
Chair & CEO
Mark Papermaster
CTO and EVP
Recent News
2026-01-13
Morningstar.com
2026-01-11
Company data provided by crunchbase