Formal Verification Student

TL;DR

Formal Verification Student: Developing tools and methodologies for pre-silicon verification of future CPU products with an accent on scripting and Linux-based environments. Focus on learning advanced verification techniques and contributing to the development of high-performance desktop, notebook, and server processors.

Location: Must be based in Haifa, Israel (On-site)

Company

A global leader in the development and integration of SOCs, Cores, and critical IPs powering innovative computing experiences.

What you will do

• Develop tools and methodologies for formal verification of future CPU products.
• Collaborate with cross-functional teams in an agile and dynamic environment.
• Design and deliver advanced test-environment solutions.
• Work within a Linux environment using various scripting languages.
• Participate in the full lifecycle of pre-silicon verification processes.

Requirements

• B.Sc. student in Computer Science, Electrical Engineering, or Software Engineering.
• Minimum of 3 semesters remaining until graduation.
• Availability to work 20 hours per week.
• Must be able to work on-site in Haifa, Israel.

Nice to have

• Familiarity with Python.
• Experience with scripting languages such as Tcl or Perl.
• Familiarity with Linux environments.

Culture & Benefits

• Opportunity to learn the inner workings of leading processors and design methodologies.
• Exposure to professional software development and verification techniques.
• Participation in a winning team developing critical global products.
• Focus on long-term mutual growth and mentorship.