Formal Verification Student

    • Haifa, Israel

Job Description
About Us :
DCG Ethernet Silicon Design (SD) is one of Intel's leading groups, responsible for end-to-end development of industry and market-leading Ethernet controllers, focused on cloud, communication and enterprise markets.
Our cutting edge products drive the cloud networking infrastructure, enabling advanced internet services every day to billions of users around the globe.

What is Formal Verification (FV):
Formal Verification is a new innovative technology which aims for full and complete verification of hardware designs before the start of production. Its goal is to assure zero bugs in the device by covering all possible scenarios and use cases.
Formal Verification is now an integral part of the chip design process, and FV expertise has become highly desirable.

About You :
You should be motivated to learn and expand your technical knowledge in chip development. You are expected to work well in a team environment and have positive interactions with fellow engineers across the globe. Based on your studies thus far, you are expected to have developed basic skills in programming and be ready to learn and implement code in industry-standard tools and languages

Job Responsibilities:
You will study the definition and functional requirements of hardware components and RTL designs,
by reading specifications and reviewing with architects, designers, and verification teams.
You will define and develop Formal Verification environments, and run the proofs until fully verified.
During the development of the proof you will identify design bugs and help to clean them out from the design.



Must Have :
Studying for B.Sc. or MSc in Computer Science / Electrical Engineering
Completed at least 4 semesters and with at least 4 semesters till graduation.
Completed the following courses (or similar): Introduction to programming, Logic systems
Need to be available for 20 work hours a week (excluding semester exam periods)

Nice to have:
Completed course of introduction to networking, computer architecture
Experience with working in Unix/Linux shell environment
Experience with Perl/Python

Inside this Business Group
The Data Center Group (DCG) is at the heart of Intel's transformation from a PC company to a company that runs the cloud and billions of smart, connected computing devices. The data center is the underpinning for every data-driven service, from artificial intelligence to 5G to high-performance computing, and DCG delivers the products and technologies-spanning software, processors, storage, I/O, and networking solutions-that fuel cloud, communications, enterprise, and government data centers around the world.

IL Intern JR0112789 Haifa

Back to top