Lead CPU Formal Verification Architect

AMD Cambridge is seeking an experienced Formal Verification Engineer to lead and execute formal verification across CPU IP. You will collaborate with architecture, design, and central formal verification teams to shape methodology, infrastructure, and execution.

You will join a core team of experts working on cutting-edge CPU IP technologies, driving verification quality under tight timelines and building scalable verification solutions.