Formal Verification Student

Intel Intel · Semiconductors · Haifa, Israel

Student role focused on developing tools and methodologies for formal verification of future CPU products within Intel's Core HW Design Verification Team. Requires familiarity with Python and Linux.

What you'd actually do

  1. You will take part in developing tools and methodologies that would be used to perform formal verification on future CPU products.
  2. Our team works with a variety of programming languages, starting from low-level shell script and up to Python within a Linux environment.
  3. We believe in long-term mutual growth and invest in teaching you the inner workings of Intel's leading processors, software development processes, verification techniques, design methodologies and more.

Skills

Required

  • B.Sc. Student in Computer Science/Engineering, Electrical Engineering or Software Engineering
  • A minimum of 3 semesters till graduation
  • Availability to work 20 hours a week

Nice to have

  • Familiarity with Python and other scripting languages (e.g. Tcl, Perl)
  • Familiarity with Linux environment