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

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

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

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

Formal Verification Student

Intel

Intel Intel

  • חיפה
  • LinkedIn
LinkedIn

Formal Verification Student

Intel

Intel Intel

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


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 שעות בשבוע. היכרות עם Python ושפות סקריפט אחרות (כגון Tcl, Perl) וסביבת לינוקס מהווה יתרון.

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

לכל המשרות של סטודנט לוריפיקציה של חומרה

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

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

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

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

עוד רגע...

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

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

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

loader

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

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

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

  • בעיה טכנית

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

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

  • אחר:

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