Formal Verification Expert

Position: Formal Verification Expert Needed at AMD
Join AMD as a Formal Verification Engineer and utilize cutting-edge technologies in formal verification. This position emphasizes high-speed I/O protocols and leadership in a dynamic team environment.

The Formal Verification team at AMD focuses on validating complex IPs using advanced verification methodologies. As an engineer, you will work closely with architects, optimize formal techniques, and lead a small verification team. Your contributions will ensure the highest quality of next-generation semiconductor designs.

Key Responsibilities:

• Collaborate to understand design intents and requirements

• Develop and implement formal verification strategies for complex designs

• Optimize verification processes and handle intricate formal problems

• Collect and report on verification progress and status

• Lead verification activities and coach junior engineers

Requirements:

• Strong ASIC/FPGA design and verification experience

• Advanced knowledge of high-speed IO protocols like PCIe

• Experience in AI-assisted verification and formal property languages

• Background in formal property verification and commercial tools

• BS or higher degree in relevant engineering fields

Leverage your formal verification skills at AMD and drive quality in semiconductor innovations.
#J-18808-Ljbffr