وصف
تقوم NVIDIA بتوظيف مهندس التحقق الشكلي (Formal Verification) كبير ضمن فريق الشبكات لديها لإثبات صحة المنطق المعقّد في تصاميم NIC قبل السيليكون بشكلٍ رسمي. تتضمن هذه الوظيفة تطبيق خوارزميات ومنهجيات التحقق الشكلي، والتعاون مع التقنيات الأساسية للجيل التالي، وتعزيز الخبرة في بروتوكولات الاتصالات والتنفيذات على العتاد. يحتاج المرشحون إلى الحصول على BSc في الهندسة الكهربائية أو هندسة الحاسوب، أو على MSc في الرياضيات، أو خبرة مكافئة، بالإضافة إلى ما لا يقل عن خمس سنوات من الخبرة ذات الصلة، مع امتلاك مهارات تحليلية قوية وامتياز في عملية تتبع الأخطاء (debugging) والتواصل وحل المشكلات.
