Leadership Role - Formal Verification
AMD · Posted Oct 22
High-performance processors, graphics cards, data center solutions, and AI accelerators
Get a personal compatibility score
Add a resume for personal matches
About the role
The UMC Verification team at AMD is a dedicated organization whose work enables AMD to deliver multiple SoCs to market every year, with the UMC being a critical component across Client, Server, Graphics, and Semi-Custom products. The role is a Formal Verification Technical Lead position focused on defining formal scope, driving formal verification strategy, execution, and sign-off for complex memory controller designs, including assertion and constraint development and proof convergence. The lead also mentors the formal verification team and collaborates with design, architecture, and verification teams across global sites.
What you will do
- Work with design team to create FV test plan.
- Build formal verification environment, write assertions, covers and appropriate constraints.
- Create a common formal verification flow so properties and assertions can be ported to different hierarchies.
- Provide Training and mentor new team members.
- Drive formal verification planning, execution, and sign-off across multiple blocks while ensuring quality, schedule adherence, and methodology consistency.
- Lead and mentor the formal verification team, review technical deliverables, resolve execution bottlenecks, and align priorities with global stakeholders across design and verification sites.
Skills used in this role
What the employer is looking for
- Bachelor’s or Master’s degree in related discipline preferred
Preferred qualifications
- 16+ years of ASIC/IP verification experience with strong hands-on expertise in formal verification methodology, sign-off, and debug for complex IP or subsystem designs.
- Demonstrated ability to technically lead a formal verification team, manage priorities, provide guidance on methodology, and drive closure in a distributed, multi-site engineering environment.
- Experience with complex CPU/ASIC projects, with demonstrated mastery of successful verification from test planning till tapeout
- Hands on experience in writing SV assertions.
- Exposure to formal methodologies and industry standard Formal tool (like VC Formal, Jasper..).
- Knowledge of scripting using Perl, tcl or equivalent.
- Cache coherency or industry standard AMBA protocol knowledge is a plus
Benefits and support
- Compensation and benefits are detailed in the job posting
About AMD
AMD is a global semiconductor company that designs high-performance central processing units (CPUs), graphics processing units (GPUs), and adaptive processors for data centers, personal computers, gaming consoles, and embedded systems. The company specializes in advanced computing solutions and AI accelerators, positioning itself as a major leader in modern high-performance and artificial intelligence hardware. Through strategic developments and acquisitions, AMD continues to expand its ecosystem across cloud infrastructure, enterprise computing, and physical AI.
- Industry
- Semiconductors
- Company size
- 31000 employees
- Founded
- 1969-05-01
- Location
- Santa Clara, California, USA
- Funding stage
- Public Company
Funding
Public Company
- 2007-11-16Post Ipo
Leadership
Chair and Chief Executive Officer
Executive Vice President, Chief Financial Officer and Treasurer
Executive Vice President and Chief Technology Officer
Executive Vice President and Chief Commercial Officer
Executive Vice President and General Manager, Data Center Solutions Business Group
Recent coverage
AMD Newsroom
Meet the Next AMD Ryzen™ AI Halo Developer Platform2026-10-12
TweakTown
AMD Focuses on Agentic AI and Forecasts Strong Data Center Expansion Through 20302026-10-14
GuruFocus
Advanced Micro Devices Prepares for Q3 2026 Earnings Amid High Data Center Demand2026-10-20