CPU Formal Verification Lead

AMD is seeking an experienced Formal Verification Engineer to lead and advance formal verification for next-generation CPU IP. The role collaborates with architecture, design and central verification teams to shape methodology and execution across AMD’s CPU portfolio.

You will architect verification strategies, scale to large designs, and drive innovations in formal methods while partnering across AMD’s engineering ecosystem to deliver high-quality results on aggressive timelines.