Lead Formal Verification Engineer

Role Summary

The Lead Formal Verification Engineer will oversee the implementation of cutting-edge formal verification techniques for AMD’s next-generation graphics IP design. You will collaborate with various teams to define formal verification roadmaps and enhance verification quality and productivity.

Experience Level

This position requires extensive experience in formal verification methodologies for modern processors including CPUs, GPUs, and AI processors. Leadership skills and the ability to communicate effectively across diverse teams are essential.

Responsibilities

Your responsibilities include defining the long-term strategy for formal verification, developing methodologies to ensure comprehensive coverage of graphics design, scaling the verification process for larger designs, and leading research on emerging verification domains. You will also be responsible for driving innovation and fostering collaboration across departments.

Requirements

Candidates must possess in-depth knowledge of formal verification algorithms, experience with system Verilog assertions, and a proven track record in delivering high-quality verification under tight schedules for large-scale processor designs. Familiarity with verification tools such as JasperGold and VC formal is required.

Education Requirements

A Bachelor’s degree is required, while a Master’s or PhD degree in Computer Science, Computer Engineering, or Electrical Engineering is preferred.