Formal Verification Engineer

AMD; Markham; On-site; CAD 110,000 - 170,000; Full time

Job summary

AMD is seeking formal verification engineers to join a team focused on IP verification and high-speed interconnects. The role involves leading verification efforts, developing formal strategies, and mentoring junior engineers across architecture, RTL, DV, and silicon teams.

Hybrid work model in Markham/Canada with opportunities to influence next-gen semiconductor designs. Candidates should have a BS in Electronics/EE or CS, strong experience with formal verification methodologies (FPV,

Qualifications

• BS degree in Electronics/Electrical or Computer Engineering.
• Experience with IP verification and formal verification.
• Strong leadership and mentoring skills.
• Experience with PCIe, SATA, AXI high-speed protocols.

Responsibilities

• Lead formal verification plans for design blocks.
• Write and debug properties to verify the design and analyze results.
• Coordinate verification activities for a small team and report progress.
• Collaborate with architecture, RTL, DV, and silicon teams from concept through tapeout.

Skills

Formal verification

Team leadership

AI-based verification

Formal methods

PCIe/IP verification

Education

BSc in Electronics/EE or CS

Tools

VC-Formal

Questa Formal

JasperGold

Job description

WHAT YOU DO AT AMD CHANGES EVERYTHING

At AMD, our mission is to build great products that accelerate next-generation computing experiences-from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create something extraordinary. When you join AMD, you’ll discover the real differentiator is our culture. We push the limits of innovation to solve the world’s most important challenges-striving for execution excellence, while being direct, humble, collaborative, and inclusive of diverse perspectives. Join us as we shape the future of AI and beyond. Together, we advance your career.

THE ROLE:

The Formal Verification team is dedicated to formal verification. It provides formal functional and security verification for a broad range of IPs including input-output virtualization, PCIe Root-Complex/End-Point, inter-chiplet highspeed connections, etc. We are currently looking for formal verification engineers with expertise in IP verification, formal verification methodologies, highspeed IO bus protocols and team leadership to take on the challenges. In these highly visible roles, the qualified candidates will use cutting edge formal verification technologies to verify the newest IPs resulting in a level of design quality not paralleled by classical verification.

KEY RESPONSIBILITIES:

• Collaborating with architects and designers to understand the design intents
• Creating and executing formal verification plans for design blocks
• Writing and debugging properties to verify the design, analyzing signatures and pushing for the resolution
• Optimizing runtime using formal techniques
• Collecting and reporting status and progress
• Improving formal setups based on feedbacks from reviews, metrics, etc
• Leading and coordinating verification activities for a small team
• Training and coaching junior engineers
• Developing working procedures, flows and infra
• Handling complicated formal problems

PREFERRED EXPERIENCE:

• Combined ASIC/FPGA design and verification experience.
• Verify complex IPs including I/O virtualization, PCIe Root Complex/End Point, and high-speed inter-chiplet interconnects using advanced formal verification methodologies.
• Develop and execute formal functional and security verification strategies to ensure industry-leading design quality and coverage.
• Apply expertise in high-speed I/O protocols, IP verification, and formal verification technologies to validate next-generation semiconductor designs.
• Drive adoption of cutting-edge formal verification and automation techniques to improve verification efficiency and accelerate closure.
• Provide technical leadership, mentorship, and methodology guidance across formal verification projects and teams.
• Demonstrate strong hands-on experience with AI-based formal verification, including AI-assisted property generation, proof optimization, coverage analysis, root-cause debugging, and verification closure.
• Collaborate closely with architecture, RTL design, DV, and silicon teams from concept through tapeout and post-silicon validation.
• Strong background in formal property verification (FPV), sequential equivalence checking (SEC/SEQ/SLEC), and/or academic formal methods.
• Expertise in a formal property language (SVA preferred), abstraction techniques, formal sign-off and commercial formal tools (VC-Formal, JasperGold, Questa Formal, etc.).
• Extensive experience verifying complex, packet or control based designs.
• Familiarity with industry standard high-speed protocols such as PCIe, SATA, USB, AXI, etc.
• Experience with verification of Hardware-Firmware interaction is highly desirable.

ACADEMIC CREDENTIALS:

• BS (or higher) degree in Electronics/Electrical or Computer Engineering desired

LOCATION:

• Markham/ Vancouver/ Calgary/ Ottawa

#LI-TB2

#LI-HYBRID

Benefits offered are described: AMD benefits at a glance.

AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third-party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law. We encourage applications from all qualified candidates and will accommodate applicants’ needs under the respective laws throughout all stages of the recruitment and selection process.

AMD may use Artificial Intelligence to help screen, assess or select applicants for this position. AMD's "Responsible AI Policy" is available here.

This posting is for an existing vacancy.