Formal Verification Student

Job Description:

Job Details:

Job Description:

About our organization - Core Engineering Group:
We are designing the future of compute.
We develop Intel's primary, most valuable, and complex IP - the Core. The Core is the central part of many Intel's products: Desktops, Notebooks, Servers, Cloud CPUs, and more. Our Core is in the heart of hundreds of millions of products being sold every year, and is driving the internet, networking industry, cloud compute, communications, consumer products, and more.

About the Job:
As a Formal Verification (FV) student you will be responsible for verifying the functional correctness of Intel Core Intellectual Property (IP) by applying formal verification techniques and methodologies using vendor tools . Your responsibilities will include learning HW microarchitecture and HW implementation at the RTL level. You will then be developing and debugging FV proofs for these hardware implementations in Core design to assure zero bugs in Intel Core silicon and products.

What's Unique about Arithmetic Formal Verification ?
You will be working with top experts in the domain as well as junior engineers. The work requires extreme attention to details and deep analytical skills for such a complex task: details of the definition, the implementation and in the verification development. In your work you will be interacting with most members of the team - Israel and USA. As well as with Core architects and design engineers. The success is combined from significant self-work and then also from efficient and ongoing interaction with the team.

Qualifications:

* Student for B.Sc. or M.Sc. in Electrical or Computer Engineering or Computer Science.
* At least 3-4 semesters till graduation.
* Availability to work 20 hours a week.
* Great communication skills.
* Fast and independent learner.
* Knowledge in RTL design - an advantage.
* Good English communication skills - an advantage.
* Good coding skills in any language - an advantage.

Job Type:
Student / Intern

Shift:
Shift 1 (Israel)

Primary Location:
Israel, Haifa

Additional Locations:

Business group:
Intel makes possible the most amazing experiences of the future. You may know us for our processors. But we do so much more. Intel invents at the boundaries of technology to make amazing experiences possible for business and society, and for every person on Earth. Harnessing the capability of the cloud, the ubiquity of the Internet of Things, the latest advances in memory and programmable solutions, and the promise of always-on 5G connectivity, Intel is disrupting industries and solving global challenges. Leading on policy, diversity, inclusion, education and sustainability, we create value for our stockholders, customers, and society.

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 RoleThis role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change