משרות דרושים מפתח אימות פורמלי
תכנון וביצוע בדיקות לוגיות קפדניות להבטחת תקינותם של תכנוני חומרה או תוכנה מורכבים, שימוש בכלים מתמטיים לאיתור שגיאות בשלבי הפיתוח המוקדמים, וכתיבת מפרטים להוכחת נכונות המערכת.
-
PhD Research Intern, Formal Verification Development - 2026
-
תל אביב - יפו
Nvidia
-
-
PhD Research Intern, Formal Verification Development - 2026
-
תל אביב - יפו
NVIDIA
-
-
PhD Research Intern, Formal Verification Development - 2026
-
באר שבע
NVIDIA
-
-
PhD Research Intern, Formal Verification Development - 2026
-
יקנעם עילית
NVIDIA
-
-
PhD Research Intern, Formal Verification Development - 2026
-
יקנעם עילית
חברה בתחום הייטק / חומרה / תוכנה / סייבר
-
-
PhD Research Intern, Formal Verification Development - 2026
-
תל אביב - יפו
NVIDIA
-
-
PhD Research Intern, Formal Verification Development - 2026
-
רעננה
NVIDIA
-
-
PhD Research Intern, Formal Verification Development - 2026
-
באר שבע
NVIDIA
-
-
PhD Research Intern, Formal Verification Development - 2026
-
יקנעם עילית
NVIDIA
-
-
PhD Research Intern, Formal Verification Development - 2026
-
יקנעם עילית
NVIDIA
-