Formal Verification Specialist

Role Summary

The Formal Verification Specialist is responsible for verifying microarchitecture using formal verification tools and techniques, aiming to ensure high-quality design outputs for Intel's Xeon products. The role involves collaboration with various design teams and advancing formal verification methodologies.

Experience Level

Senior level, with 3-8 years of relevant experience required based on educational background.

Responsibilities

The key responsibilities include:

• Verifying microarchitecture using formal verification tools based on model and equivalence checking algorithms.
• Defining verification scope and deploying strategies to prove correctness of designs.
• Creating comprehensive formal verification test plans and applying abstraction techniques.
• Collaborating with design teams and vendors to resolve design and tool challenges.
• Analyzing new methodologies and evaluating new tools.

Requirements

Must-have qualifications include:

• Bachelor's Degree in Electrical Engineering, Computer Engineering, Computer Science, or related field with 8 years of relevant experience; or a Master's Degree with 7 years of experience; or a PhD with 3 years.
• Proficiency in RTL languages like System Verilog or VHDL.
• Experience with formal verification principles and methods.

Preferred qualifications:

• Understanding of formal verification technology including model checking and assertion writing.
• Experience in computer architecture, digital design, and verification methods.
• Research experience in formal verification.

Education Requirements

A Bachelor’s, Master’s, or PhD in Electrical Engineering, Computer Engineering, Computer Science, or a related field is required.

About the Company

Company: Intel Corporation

Headquarters: Santa Clara, California, USA

Intel Corporation is a leading multinational technology company known for its innovative semiconductor solutions, including microprocessors, artificial intelligence accelerators, and memory products. Based in Mexico, Intel focuses on cutting-edge technology and a collaborative working environment, driving advancements in semiconductor manufacturing to meet global demands. The company emphasizes professional development and aims to shape the future of technology through groundbreaking designs.