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

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

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

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

הגשת מועמדות

Formal Verification Engineer

Intel

הגשת מועמדות

Intel Intel

  • חיפה
  • Indeed
Indeed

Formal Verification Engineer

Intel

הגשת מועמדות

Intel Intel

  • חיפה
  • bag_icon מלאה
  • coins_icon 25,000-35,000 ₪ (הערכה מבוססת AI)
    זוהי הערכת טווח שכר מבוססת AI ולא פרסום של המעסיק
  • Indeed
Indeed

Job Details:

Job Description:

Who are we?

An excellent opportunity for a creative and motivated experienced engineer to be part of Intel's P-Core (Performance Core) Group, doing exciting work in the development of next generation P-Core CPU in both Server and Client products. Intel's P-Core group is one of the most important domains with a large impact on Intel's CPU products and corporate profits. Core technology is highly evolving with a huge number of technologies being developed. Intel's core group is in charge of developing the core of Intel's next generation of CPUs, taking part in all design phases from initial definitions and studies till mass production. The group makes use of state of the art VLSI design tools and C/C++ firmware tools while meeting very challenging timelines, quality, low power, code area and compute performance constraints. The candidate who will join Intel's Core group to work on pioneering projects, in all Intel's P-cores Center of Excellence aimed at optimizing Intel's core performance using cutting-edge power-management firmware.

About the Job:

The team is ACE Formal Verification Center of Expertise. The charter of the team is to develop FV tools, flows and methodologies for the use of all core teams in Intel. The team is responsible to support the ACE FV community on all project. Last but not least, team members participate extensively in the projects formal verification execution.

Qualifications:
B.Sc. or M.Sc. in Computer Science or Electrical Engineering.
At least eight years experience in formal verification application in chip design and/or formal verification related CAD development.
Ability to learn new material fast and translate knowledge into task execution.
Good communication skills and good ability to learn complex design specification from various sources written or verbal.
Pasion for questions asking and urge to apply all available tools to answers these questions.
Ability to focus on hard problems and invest what it takes to moving forward towards solving these problems.

Job Type:
Experienced Hire

Shift:
Shift 1 (Israel)

Primary Location:
Israel, Haifa

Additional Locations:
Israel, Petah-Tikva

Business group:
The Client Computing Group (CCG) is responsible for driving business strategy and product development for Intel's PC products and platforms, spanning form factors such as notebooks, desktops, 2 in 1s, all in ones. Working with our partners across the industry, we intend to deliver purposeful computing experiences that unlock people's potential - allowing each person use our products to focus, create and connect in ways that matter most to them.

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 Engineer

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

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

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

משרות נוספות מומלצות עבורך
  • רשימת משאלות

    Senior Formal Verification Engineer

    • map_icon תל אביב - יפו
    Samsung Research and Development Center Israel

    Samsung Research and Development Center Israel

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

    Formal Verification Engineer

    • map_icon פתח תקווה
    Intel

    Intel

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

    Formal Verification Engineer

    • map_icon חיפה
    Intel

    Intel

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

    Formal Verification Engineer

    • map_icon תל אביב - יפו
    NVIDIA

    NVIDIA

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

    Principal Formal Verification Engineer

    • map_icon תל אביב - יפו
    NVIDIA

    NVIDIA

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

    Senior Formal Verification Engineer

    • map_icon תל אביב - יפו
    NVIDIA

    NVIDIA

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

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

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

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

עוד רגע...

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

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

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

loader

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

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

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

  • בעיה טכנית

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

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

  • אחר:

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