Senior SMTS: Silicon Design & Formal Verification Lead

Advanced Micro Devices, Inc.; Austin (TX); On-site; USD 160,000 - 230,000; Full time

Job summary

Advanced Micro Devices, Inc. (AMD) is seeking a Senior Silicon Design Engineer to lead a research group focused on formal verification domains.

You will explore ISA and memory model formalization, define long-term strategy, and drive best-in-class verification infrastructure across ASIC design. Responsibilities include developing advanced methodologies for datapath and control logic, scaling verification for GPU/AI processors, and collaborating with engineers across the company to improve

Qualifications

• Four years of experience in formal verification of algorithms, engines, and use cases.
• SystemVerilog Assertion and abstract model development.
• Using formal verification tools from both Academy and EDA vendors (JasperGold, VC Formal, Murphi, or theorem prover).
• Delivering high-quality verification for modern, large-scale processor design, such as CPU, GPU, or AI processor.
• Computer architecture and graphics pipeline; and
• Developing formal verification infrastructure for FPV, DPV, SEV, and other use cases.

Responsibilities

• Lead the research group for emerging formal verification domains like security, safety, low-power and architecture-level formal verification.
• Define long-term strategy for formal verification expansion and steer the technical roadmap.
• Develop cutting-edge verification methodologies for the whole graphics design, including datapath and control logic.
• Scale formal verification to large, critical designs to ensure bug-free quality.
• Collaborate with cross-functional teams on ASIC/layout design and evaluate design flows.

Skills

Formal verification techniques

SystemVerilog

CPU/GPU architecture

Cross-functional collaboration

Education

Master’s degree in Computer/Electrical/Electronics Engineering

Bachelor’s degree + 6 years experience alternative

Tools

JasperGold

VC Formal

Murphi

Theorem prover

Job description

Advanced Micro Devices, Inc. (AMD) is seeking a Senior Silicon Design Engineer to lead a research group focused on formal verification domains.

You will explore ISA and memory model formalization, define long-term strategy, and drive best-in-class verification infrastructure across ASIC design. Responsibilities include developing advanced methodologies for datapath and control logic, scaling verification for GPU/AI processors, and collaborating with engineers across the company to improve