Lead Formal Verification Engineer

AMD is seeking a Lead Formal Verification Engineer to help drive formal verification strategy, methodology, and adoption across next-generation graphics and GPU IP. This highly visible technical leadership role will partner closely with architecture, design, and verification teams to improve verification quality, scalability, and productivity across complex hardware projects. The successful candidate will play a key role in expanding formal verification across the development lifecycle, advancing verification methodologies, and influencing technical direction across a growing organization.

This is an opportunity to work on industry-leading graphics technologies while helping shape the future of formal verification within AMD.

You are a recognized formal verification expert who enjoys solving complex technical challenges and driving innovation. You bring strong leadership and collaboration skills, can influence technical direction across teams, and are passionate about building scalable verification solutions that improve product quality and engineering efficiency. KEY RESPONSIBLITIES: Define and drive formal verification strategy, methodology, and technical roadmap for graphics IP.