Formal Verification Architect
About The Position
ADVANCE YOUR CAREER. ADVANCE THE WORLD. At AMD, we believe technology can change lives for the better. It can heal us, entertain us, and make us more connected, productive, and understanding of the world around us. And we’re looking for talent who feel the same: people who want to leave the planet better than they found it, those who don’t shy away from humanity’s challenges but are determined to help solve them. AMD is powering the next generation of supercomputing, high-performance computing, cloud, and AI. Whether you’re designing next-gen processors, enabling AI breakthroughs, or creating go-to-market plans, every role at AMD contributes to something bigger — technology that moves the world forward. The Role: AMD's NBIO (Northbridge I/O) organization is seeking an experienced ASIC Formal Verification Architect to join the IOHUB team. This team develops industry-leading I/O connectivity, virtualization, and infrastructure technologies that power next-generation data center, AI/ML, client, graphics, embedded, and semi-custom products. As an ASIC Formal Verification Architect, you will play a critical role in defining and executing formal verification strategies for complex IP and SoC designs. Working closely with architects, designers, and verification teams, you will drive verification planning, methodology development, infrastructure architecture, and sign-off activities while leading a team of engineers to deliver high-quality silicon solutions. This position offers the opportunity to influence verification methodology across multiple projects, mentor engineers, and help shape the future of AMD's formal verification capabilities. The Person: The ideal candidate is a technical leader with deep expertise in formal verification methodologies and a passion for solving complex design and verification challenges. You thrive in a collaborative, fast-paced environment and can effectively drive projects from concept through verification closure. You possess: Strong analytical and problem-solving skills with exceptional attention to detail Proven leadership experience guiding technical teams and mentoring engineers Excellent communication, collaboration, and interpersonal skills Self-motivation with the ability to independently drive initiatives to completion A continuous improvement mindset and passion for technical innovation The ability to balance multiple priorities in a dynamic, fast-paced environment
Requirements
- BS/MS degree in Engineering (Electrical, Electronics, Computer) or Computer Science.
- Strong understanding of digital design and computer architecture
- Verification skills: Formal verification (Static and Dynamic), Assertion based verification, FPV and DPV
- Experience with CDC and RDC formal verification methodologies; proficiency with JasperGold CDC/RDC and Connectivity apps strongly preferred
- Experience with sequential/logical equivalence checking (SEC/LEC)
- Ability to apply abstraction, decomposition, and assume-guarantee reasoning to tackle intractable formal problems at scale
- Strong Design debug, Deep bug hunting skills
- Formal test planning, Formal tools – Jasper, VC-formal.
- Familiarity with UVM-based simulation environments and experience bridging formal and simulation-based verification flows
- System Verilog, Verilog or VHDL, Scripting skills are an asset.
Nice To Haves
- Design knowledge of CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, Cache preferred
Responsibilities
- Lead and mentor a team of formal verification engineers across multiple IP and SoC projects
- Define and drive formal verification architecture, methodologies, and development plans in partnership with IP architects and design teams
- Develop comprehensive formal verification test plans and execute verification closure strategies
- Architect, develop, and maintain reusable formal verification environments, properties, components, and infrastructure
- Drive adoption of industry-leading formal verification methodologies and best practices across the organization
- Perform formal connectivity verification, deadlock/livelock analysis, and protocol verification for complex I/O and arbitration-intensive designs
- Apply advanced formal techniques, including abstraction, decomposition, and assume-guarantee methodologies, to solve challenging verification problems
- Debug and triage failures identified through formal verification tools and root-cause complex design issues
- Collaborate closely with design, validation, and post-silicon teams to reproduce and resolve functional issues
- Contribute to verification sign-off activities and ensure delivery of high-quality silicon solutions
- Foster technical excellence through coaching, mentorship, and knowledge sharing across the team
Benefits
- AMD benefits at a glance.
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Senior
