Lead GPU Formal Verification Engineer

AMD Cambridge is seeking a Lead GPU Formal Verification Engineer to drive cutting-edge formal verification techniques for our next-generation graphics IP designs. You will lead and mentor the GFXIP formal verification team, partner with architecture and design, and shape the formal verification roadmap, strategy and infrastructure.

The ideal candidate combines deep knowledge of formal verification algorithms with hands-on experience in SystemVerilog assertions and large-scale processor

#J-18808-Ljbffr…