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