Formal Verification Student
Intel CorporationJob Title
Formal Verification Student
Role Summary
As a Formal Verification student on the Core Engineering Group, you will apply formal verification techniques to verify functional correctness of Intel Core IP at the RTL level. The role involves developing and debugging formal proofs for core hardware implementations to reduce silicon defects.
You will work with engineers and architects in Israel and the USA and contribute to verification tasks requiring strong attention to detail and analytical problem-solving.
Experience Level
Entry-level / Student (intern).
Responsibilities
Primary responsibilities include learning the design under test and producing formal verification artifacts that validate RTL implementations.
- Learn Core microarchitecture and RTL implementations relevant to assigned features.
- Develop, debug, and maintain formal verification proofs using vendor FV tools.
- Analyze verification failures, diagnose root causes, and propose fixes or test improvements.
- Collaborate with Core architects, design engineers, and verification team members in Israel and the USA.
- Document verification results and maintain proof assets.
Requirements
Key requirements and desired skills.
- Must-have: Availability to work ~20 hours per week and ability to work on-site in Haifa.
- Must-have: Strong communication skills and ability to learn independently.
- Nice-to-have: Knowledge of RTL design.
- Nice-to-have: Coding skills in any programming language.
- Nice-to-have: English proficiency.
Education Requirements
Student pursuing a B.Sc. or M.Sc. in Electrical Engineering, Computer Engineering, Computer Science, or a closely related technical field. Expectation of at least 3–4 semesters remaining until graduation.
About the Company
Company: Intel Corporation
Headquarters: Santa Clara, California, USA
Intel Corporation is a leading multinational technology company known for its innovative semiconductor solutions, including microprocessors, artificial intelligence accelerators, and memory products. Headquartered in the United States, Intel focuses on cutting-edge technology and a collaborative working environment, driving advancements in semiconductor manufacturing to meet global demands. The company emphasizes professional development and aims to shape the future of technology through groundbreaking designs.
