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

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

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

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

הגשת מועמדות

Formal Verification Engineer

Amazon

הגשת מועמדות

Amazon Amazon

  • חיפה
  • Jobkarov

Formal Verification Engineer

Amazon

הגשת מועמדות

Amazon Amazon

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

As a Formal Verification Engineer, you'll play a crucial role in ensuring the quality and reliability of our Graviton product line. You'll own the complete verification lifecycle, from planning through execution, collaborating with cross-functional teams to deliver quality results in a fast-paced environment.

Key job responsibilities:
Drive formal verification efforts for complex hardware designs.
Develop comprehensive verification plans and execute them independently.
Collaborate with design, system and verification teams.
Identify and resolve design issues using formal methods.
Contribute to methodology improvements and best practices.

דרישות:

Basic Qualifications:
- Bachelor's degree in Computer Science, Electrical Engineering, or related field.
- 5+ years of experience in hardware design/verification.
- Knowledge in digital logic systems, computer architecture, and networks
- Analytical and problem-solving abilities.
- Self-motivated team player who thrives in dynamic environments.

Preferred Qualifications:
- Experience with formal verification tools (JasperGold, VC Formal, or similar).
- Knowledge of formal verification methodologies and assertions (SVA/PSL).
- Scripting skills (Python, Perl, or TCL).
- Familiarity with AI/ML applications in verification. המשרה מיועדת לנשים ולגברים כאחד.


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

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

הגשת מועמדות

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

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

עבור תפקיד מהנדס אימות פורמלי ב-Amazon, נדרש תואר ראשון במדעי המחשב, הנדסת חשמל או תחום קרוב, יחד עם 5+ שנות ניסיון בתכנון/אימות חומרה. כמו כן, נדרש ידע במערכות לוגיקה דיגיטלית, ארכיטקטורת מחשבים ורשתות, ויכולות אנליטיות ופתרון בעיות. ניסיון עם כלי אימות פורמליים (כמו JasperGold) ומתודולוגיות אימות פורמליות (SVA/PSL) מהווה יתרון.

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

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

    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

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

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

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

  • בעיה טכנית

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

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

  • אחר:

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