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
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
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
AMD
Advanced Micro Devices is a semiconductor company that designs and develops graphics units, processors, and media solutions.
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
Recent News
2026-01-13
Morningstar.com
2026-01-11
Company data provided by crunchbase