jobify_logo ×
  • מִשׁתַמֵשׁ
  • התחברות/הרשמה
  • עמוד הבית
  • מי אנחנו
  • מעסיקים מובילים
  • פרסום משרה חינם
  • צרו קשר
  • תנאי שימוש
  • מדיניות פרטיות
  • הצהרת נגישות
קרן עזריאלי טקסט בעברית עם סמל אינסוף social_security the_israeli_employment_service work_office המקום
jobify_logo
  • מי אנחנו
  • מעסיקים מובילים
  • פרסום משרה חינם
  • צרו קשר
דילוג לתוכן

עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!

במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.

מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.

Formal Verification Student

Intel

Intel Intel

  • חיפה
  • Indeed
Indeed

Formal Verification Student

Intel

Intel Intel

  • חיפה
  • bag_icon מלאה
  • coins_icon 9,000-12,000 ₪ הערכה מבוססת AI ולא שכר שהתקבל מהמעסיק
    הערכה מבוססת AI ולא שכר של המעסיק
  • Indeed
Indeed

Job Details:

Job Description:

Do you enjoy solving challenging problems?
Do you feel comfortable working with many cross-functional teams in a fast-paced, agile and dynamic environment?
If this describes you, we would love to hear from you

Who are we?
You will join the Intel Core HW Design Verification Team driving leading edge CPU development for desktop, notebook servers and cloud products used across the globe. Our team is the Center of Excellence (COE), with the exciting responsibility to define and drive pre-silicon verification methodology and Tools, while designing and delivering advanced test-environment solutions that address the current and future complex verification challenges.

You will take part in developing tools and methodologies that would be used to perform formal verification on future CPU products.
Our team works with a variety of programming languages, starting from low-level shell script and up to Python within a Linux environment.
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.
You will be joining a winning team, which is taking a critical part in bringing Intel's future products to the world.

Qualifications:

• 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
• Familiarity with Python and other scripting languages (e.g. Tcl, Perl) - advantage
• Familiarity with Linux environment - advantage

Job Type:
Student / Intern

Shift:
Shift 1 (Israel)

Primary Location:
Israel, Haifa

Additional Locations:

Business group:
The Silicon Engineering Group (SIG) is a worldwide organization focused on the development and integration of SOCs, Cores, and critical IPs from architecture to manufacturing readiness that power Intel’s leadership products. This business group leverages an incomparable mix of experts with different backgrounds, cultures, perspectives, and experiences to unleash the most innovative, amazing, and exciting computing experiences.

Posting Statement:
All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.
Position of Trust
N/A

Work Model for this Role

This role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change.

*


במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.

מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.

שאלות ותשובות עבור משרת Formal Verification Student

סטודנט לאימות פורמלי באינטל יצטרף לצוות אימות חומרת הליבה של אינטל, וייקח חלק בפיתוח כלים ומתודולוגיות לאימות פורמלי של מוצרי מעבדים עתידיים. התפקיד כולל עבודה בסביבת לינוקס עם שפות תכנות שונות, מפיתוחי סקריפטים ברמה נמוכה ועד פייתון, תוך התמקדות בפתרון אתגרי אימות מורכבים.

לתפקיד סטודנט לאימות פורמלי באינטל נדרשים סטודנטים לתואר ראשון במדעי המחשב/הנדסה, הנדסת חשמל או הנדסת תוכנה, עם מינימום 3 סמסטרים לסיום וזמינות ל-20 שעות שבועיות. יתרון יינתן להיכרות עם פייתון ושפות סקריפט נוספות (כמו Tcl, Perl) וסביבת לינוקס. הסטודנט ישתלב בפרויקט פיתוח מעבדי CPU מובילים עבור מוצרי דסקטופ, מחשבים ניידים, שרתים ומוצרי ענן גלובליים.

תפקיד הסטודנט לאימות פורמלי באינטל חיוני לפיתוח מעבדי ה-CPU העתידיים בכך שהוא מאפשר הגדרה והובלה של מתודולוגיות אימות טרום-סיליקון וכלים מתקדמים. הסטודנט יסייע בעיצוב ואספקת פתרונות סביבת בדיקה חדשניים, שיטפלו באתגרי האימות המורכבים של מוצרי המעבדים הבאים של אינטל, ובכך יבטיח את איכותם וביצועיהם.

לכל המשרות של Hardware Verification Intern

ניתן לצפות במשרות שסימנת בכל שלב תחת התפריט הראשי בקטגוריית 'משרות שאהבתי'

המקום קרן עזריאלי טקסט בעברית עם סמל אינסוף
  • מי אנחנו
  • מעסיקים מובילים
  • צרו קשר
  • תנאי שימוש
  • מדיניות פרטיות
  • הצהרת נגישות

2026 Ⓒ ג'וביפיי - כל הזכויות שמורות

קרן עזריאלי טקסט בעברית עם סמל אינסוף social_security the_israeli_employment_service israel_innovation_authority work_office המקום
המערכת בונה את הפרופיל התעסוקתי שלך

עוד רגע...

המערכת זיהתה ששינית את הנתונים באזור האישי ומעדכנת את ההמלצות על תפקידים ומשרות בהתאם.

מצטערים, לא הצלחנו לנתח בהצלחה את הנתונים שהזנת.
אתם מוזמנים לנסות להזין שוב או להעלות קובץ קורות חיים במידה ויש לכם.
בהצלחה

הגעת להגבלה היומית של שלושה עדכונים בפרופיל האישי ביום

loader

הבקשה שלך נשלחה בהצלחה!

יש באפשרותך לשלוח בקשה לקבלת ייעוץ אישי ללא עלות מיועצת קריירה.

באפשרותך לשלוח בקשה לקבלת ייעוץ אישי ללא עלות

  • בעיה טכנית

  • סיוע בכתיבת קורות חיים או בהכנה לראיון עבודה

  • התאמה של משרות

  • אחר:

פנייתך נשלחה בהצלחה. נציג מטעם ארגון נכי צהל ייצור איתך קשר בהקדם