🚀 FVCTO - Formal Verification Senior Engineer

Do Something Wonderful!

Intel put Silicon in Silicon Valley. No one else is obsessed with engineering and has a brighter future. Every day, we create world‑changing technology that enriches the lives of every person on earth. So, if you have a big idea, let’s do something wonderful together. Join us, because at Intel, we are building a better tomorrow.

Job Details

Job Description: Intel put Silicon in Silicon Valley. No one else is obsessed with engineering and has a brighter future. Every day, we create world‑changing technology that enriches the lives of every person on earth. So, if you have a big idea, let’s do something wonderful together. Join us, because at Intel, we are building a better tomorrow.

Who We Are

The Data Center and AI (DCAI) delivers leadership Xeon products to cloud, datacenter and AI customers through the development of industry‑leading IPs that enhance product performance and competitiveness in both Xeon and AI platforms. The IP design group within DCAI designs Coherent Fabric IP, Memory Controller, NOC, PCIe and many fundamental building blocks for the Xeon server SOCs.

Who You Are

Come and join a winning team at FVCTO (Formal Verification Central Tech Office). As a Formal Verification Engineer, you will be responsible for:

• Verify microarchitecture using industry standard Formal Verification tools and technologies based on the latest model checking and equivalence checking algorithms on world‑class design IPs and SOCs for Server, Client and Graphics.
• Use the hardware architecture design and RTL implementation details.
• Define the Formal Verification scope, deploy the right strategy to prove the correctness while deploying advanced formal techniques, and create abstraction models for convergence on the design.
• Carve out the right boundaries for the design, create comprehensive formal verification test plans, track, verify, apply abstraction techniques, and converge on complex designs to deliver a high‑quality design on schedule and articulate the ROI. Analyze new methodologies, evaluate new tools and corroborate results.

In addition to the qualifications, a successful candidate will demonstrate:

• Problem solving and debugging skills.
• Willingness to work closely with various design teams and cross‑site teams.
• Verbal and written communication skills.
• Motivated, self‑directed, and can work effectively both independently and in a team environment.

Qualifications

You must possess the minimum education requirements and minimum required qualifications to be initially considered for this position. Relevant experience can be obtained through schoolwork, classes, project work, internships, and/or military experience. Additional preferred qualifications are considered a plus factor in identifying top candidates.

Minimum Qualifications

• Bachelor’s Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 4 years relevant experience or schoolwork OR Master’s Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 3 years relevant experience or schoolwork OR PhD in Electrical Engineering, Computer Engineering, Computer Science.

Experience In The Following

• RTL languages like SystemVerilog or VHDL
• Assertion languages like SVA, formal verification.

Preferred Qualifications

• The fundamentals of formal verification technology, including model checking and writing formal assertions to express architectural intent of designs.
• Formal verification principles and methods.
• Computer architecture, digital design and verification methods.
• Research in formal verification domain.

Job Type

Experienced Hire

Shift

Shift 1 (United States of America)

Primary Location

US, California, Santa Clara

Additional Locations

US, Oregon, Hillsboro; US, Texas, Austin

Business Group

At the Data Center Group (DCG), we’re committed to delivering exceptional products and delighting our customers. We offer both broad‑market Xeon‑based solutions and custom x86‑based products, ensuring tailored innovation for diverse needs across general‑purpose compute, web services, HPC, and AI‑accelerated systems.

Posting Statement

All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.

Benefits

We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as benefit programs which include health, retirement, and vacation. Annual Salary Range for jobs which could be performed in the US: $139,710.00 – $227,620.00 USD.

Work Model for this Role

This role will require an on‑site presence. Job posting details (such as work model, location or time type) are subject to change.

Seniority Level

Mid‑Senior level

Employment Type

Full‑time

Job Function

Quality Assurance

Industries

Semiconductor Manufacturing

#J-18808-Ljbffr