AMD is seeking an adaptive and self-motivated formal verification engineer to join their collaborative team. This role is integral to the Formal Verification Team within AMD's Cores Development Team, focusing on the development of next-generation processor cores. The team aims to enhance AMD's capabilities in delivering high-quality technologies while improving time to market and meeting performance, power, and quality expectations. The ideal candidate will possess strong analytical skills and a willingness to learn and tackle challenges.

• Experience in ASIC design, verification, or related work in Formal Verification.
• Proficiency in formal verification, assertion-based verification, FPV, and/or DPV.
• Knowledge of complexity analysis, design abstraction, and formal coverage.
• Experience in design debugging and deep bug hunting.
• Familiarity with formal test planning and tools such as Jasper and/or VC-formal.
• Skills in System Verilog, Verilog, or VHDL, as well as scripting in TCL/Python.
• Design knowledge in CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, or Cache.

• Apply advanced formal verification techniques to achieve full proofs for AMD's cutting-edge designs.
• Maintain a best-in-class formal verification infrastructure to enhance productivity.
• Develop technical relationships with the broader AMD design community and peers.
• Drive cross-department innovation and collaboration within AMD.
• Participate in R&D for emerging formal verification domains such as security, safety, and low power.

• AMD provides a competitive 'Total Rewards' package that focuses on financial growth, health, and work-life balance.