Intel Ethernet Products Group (EPG) delivers best-in-class Ethernet products and is part of the Connectivity Group which 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. EPG'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

* Verify the micro-architecture of complex IPs using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms

* 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 and verify them

* Analyze new methodologies evaluates new tools and corroborate results

#IPU_Go_Big

Qualifications

Minimum qualifications are required to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates.
Minimum Qualifications:
* Bachelor's degree in Electrical/Computer Engineering or Computer Science
* 3+ years of experience in formal verification

Preferred Qualifications:
* Experience with Jasper, SVA, Jasper Apps (connectivity, coverage)
* Experience with Perl/Python

Requirements listed would be obtained through a combination of industry relevant job experience, internship experiences and or schoolwork/classes/research.

Inside this Business Group

The Network & Edge Group brings together our network connectivity and edge into a business unit chartered to drive technology end to end product leadership. It's leadership Ethernet, Switch, IPU, Photonics, Network and Edge portfolio is comprised of leadership products critically important to our customers.

Other Locations

Israel, Petah-Tikva

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.