Design Verification Engineer jobs in United States
cer-icon
Apply on Employer Site
company-logo

AMD ยท 10 hours ago

Design Verification Engineer

AMD is a company that builds products to accelerate next-generation computing experiences, and they are seeking a Design Verification Engineer to join their team. This role focuses on leading formal verification efforts to ensure IP quality and collaborating with various stakeholders to develop effective verification strategies.

AI InfrastructureArtificial Intelligence (AI)Cloud ComputingComputerEmbedded SystemsGPUHardwareSemiconductor
check
Growth Opportunities
badNo H1Bnote

Responsibilities

Lead formal verification team to ensure IP quality and project execution
Develop and implement comprehensive formal verification plans, including constraint/assertion property development, model development, inconclusive issue resolve and sign off, etc
Collaborate with IP architects, hardware designer, verification engineers, and other stakeholders to design efficient formal verification strategies
Mentor and guide junior engineers in formal verification techniques and best practices
Communicate results and progress effectively to cross-functional teams, providing insights and actionable recommendations
Drive continuous improvement in formal verification processes and contribute to the advancement of the organization's verification capabilities

Qualification

Formal verificationVerification toolsHardware description languagesProgramming languagesMentoring

Required

Lead formal verification team to ensure IP quality and project execution
Develop and implement comprehensive formal verification plans, including constraint/assertion property development, model development, inconclusive issue resolve and sign off, etc
Collaborate with IP architects, hardware designer, verification engineers, and other stakeholders to design efficient formal verification strategies
Mentor and guide junior engineers in formal verification techniques and best practices
Communicate results and progress effectively to cross-functional teams, providing insights and actionable recommendations
Drive continuous improvement in formal verification processes and contribute to the advancement of the organization's verification capabilities
Bachelors or Masters degree in computer engineering/Electrical Engineering

Preferred

Proven experience in formal verification and simulation, model checking, and theorem proving applied to complex IP or systems
Proficiency in formal verification tools such as VC-Formal or JasperGoal
Strong understanding of hardware description languages (e.g., VHDL, Verilog) and/or programming languages (e.g., System verilog, C, C++, Python)

Benefits

AMD benefits at a glance.

Company

Advanced Micro Devices is a semiconductor company that designs and develops graphics units, processors, and media solutions.

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
Company data provided by crunchbase