jobify_logo

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

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

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

הגשת מועמדות

Amazon Amazon

  • תל אביב - יפו
  • Jobkarov

Amazon Amazon

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

As formal Verification Engineer you'll own verification tasks from planning through execution, collaborating with experienced engineers across multiple teams to ensure design quality while meeting challenging timelines of the Graviton product line. This is an excellent opportunity for motivated engineers to grow their formal verification expertise in a supportive, high-impact environment.

Key job responsibilities:
Plan and execute formal verification plans under guidance from senior engineers.
Develop formal test-benches for design modules.
Debug formal verification failures and analyze root causes.
Collaborate with design and verification teams to resolve issues.
Learn and apply new formal verification methodologies and tools.

דרישות:

Basic Qualifications:
- Bachelor's degree in Computer Science, Electrical Engineering, or related field, Please include your grade sheet/academic transcript with your CV in a single PDF.
- Analytical and problem-solving abilities.
- Self-motivated team player who thrives in dynamic, fast-paced environments.

Preferred Qualifications:
- Academic or internship experience with formal verification concepts.
- Exposure to hardware verification methodologies.
- Basic scripting skills (Python, Perl, or similar).
- Familiarity with AI/ML applications in verification. המשרה מיועדת לנשים ולגברים כאחד.


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

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

הגשת מועמדות

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

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

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

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

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