Senior Formal Verification Engineer

Position: Senior Formal Verification Engineer at AMD
Elevate your career with AMD as a Senior Formal Verification Engineer. This role focuses on formal verification methodologies, IP verification, and leadership within a collaborative team environment.

The Formal Verification team at AMD is seeking engineers with expertise in high-speed I/O protocols and formal verification technologies. Responsibilities include collaborating with architects, creating verification plans, and leading a small team to tackle complex design challenges. Your technical leadership will directly contribute to innovation in semiconductor designs.

Key Responsibilities:

• Collaborate with team architects and designers on design intents

• Create and execute formal verification plans for design blocks

• Write and debug properties to analyze and resolve design issues

• Optimize runtime through advanced formal techniques

• Train and mentor junior engineers to enhance team capabilities

Requirements:

• Experience in ASIC/FPGA design and verification

• Expertise in PCIe, I/O virtualization, and high-speed interconnects

• Strong hands-on experience with AI-based formal verification practices

• Familiarity with formal property languages and commercial tools

• BS or higher in Electronics/Electrical or Computer Engineering

Join AMD's reputable team and utilize your formal verification skills to drive semiconductor quality and innovation.
#J-18808-Ljbffr