Formal Verification Student

Intel Intel · Semiconductors · Haifa, Israel

Student role focused on formal verification of Intel Core Intellectual Property (IP) using vendor tools, requiring learning HW microarchitecture and RTL, and developing/debugging FV proofs for hardware implementations to ensure zero bugs in silicon and products.

What you'd actually do

  1. learning HW microarchitecture and HW implementation at the RTL level
  2. developing and debugging FV proofs for these hardware implementations in Core design to assure zero bugs in Intel Core silicon and products
  3. applying formal verification techniques and methodologies using vendor tools

Skills

Required

  • 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

Nice to have

  • Knowledge in RTL design
  • Good English communication skills
  • Good coding skills in any language