תיאור
NVIDIA מגייסת מהנדס אימות פורמלי בכיר לצוות ה-Networking שלה, כדי להוכיח באופן פורמלי את נכונות הלוגיקה המורכבת בתכנון ה-NIC לפני סיליקון. התפקיד כולל יישום אלגוריתמים ושיטות של אימות פורמלי, שיתוף פעולה בפיתוח טכנולוגיות הליבה מהדור הבא, והעמקת המומחיות בפרוטוקולי תקשורת ובמימושים של חומרה. מועמדים נדרשים לתואר ראשון (BSc) בהנדסת חשמל או מחשבים, לתואר שני (MSc) במתמטיקה, או לניסיון מקביל, יחד עם לפחות חמש שנות ניסיון רלוונטי וכישורים חזקים בניתוח, בדיבוג, תקשורת ופתרון בעיות.
