Formal Verification Engineer

Job Details

Job Description:

About Us

Intel Data Center Cloud Networking (NCNG) team delivers best in-class Ethernet products and is at the heart of Intel's transformation from a PC company to a company that powers the cloud and billions of smart, connected computing-devices.

NCNG's compelling Ethernet products move the world's data and are the foundations of cloud service and telecommunications data centers.

We are a team of problem solvers, experimenters, and innovators who are dedicated to designing the network technologies that currently lead and continue to transform datacenter ecosystems.

As a world-class organization, we're looking for outstanding talent to accelerate our growth during an exciting time in Ethernet networking marketing technology.

If you're ready to be a part of this journey, then we want to hear from you.

Job Description

• Utilize industry-standard Formal Verification tools and technologies, leveraging advanced model checking and equivalence checking algorithms to verify the micro-architecture of complex IPs.
• Define the scope of Formal Verification for assigned projects.
• Develop and implement effective strategies to ensure design correctness, apply advanced formal techniques and create abstraction models to achieve design convergence.
• Establish appropriate verification boundaries, develop comprehensive Formal Verification test plans, and monitor and validate their execution.
• Assess new methodologies, evaluate emerging tools, and substantiate verification results through thorough analysis.
  
  

Qualifications

Required:

• Bachelor’s in Electrical/Computer Engineering or Computer Science
  
  

Preferred

• Jasper, SVA, Jasper Apps (connectivity, coverage) experience
• Familiarity with GHCP and AI tools
• HW design/verification background
  
  

#GrowWithIntel

Job Type

College Grad

Shift

Shift 1 (Israel)

Primary Location:

Israel, Haifa

Additional Locations:

Israel, Petah-Tikva

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. Our charter encompasses defining business strategy and roadmaps, product management, developing ecosystems and business opportunities, delivering strong financial performance, and reinvigorating x86 leadership. Join us as we transform the data center segment through workload driven leadership products and close collaboration with our partners.

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.

Position of Trust

N/A

Work Model for this Role

This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. * Job posting details (such as work model, location or time type) are subject to change.