خبير التحقق الرسمي - FVCTO

تفاصيل الوظيفة:

وصف الوظيفة:

افعل شيئًا رائعًا!

وضعت إنتل السيليكون في وادي السيليكون. لا أحد آخر مهووس بهذا الهندسة لمستقبل أكثر إشراقًا. كل يوم، نحن نخلق تكنولوجيا تغير العالم التي تعزز حياة كل شخص على وجه الأرض. لذا، إذا كانت لديك فكرة كبيرة، دعنا نفعل شيئًا رائعًا معًا. انضم إلينا، لأنه في إنتل، نحن نبني غدًا أفضل.

من نحن

تقدم مجموعة DCAI وفريق هندسة السيليكون (DASE) منتجات Xeon الرائدة للعملاء في السحابة ومراكز البيانات من خلال تطوير IPs الرائدة في الصناعة التي تعزز أداء المنتج وتنافسيته في كل من منصات Xeon و AI. تقوم مجموعة تصميم IP داخل DCAI بتصميم IP للنسيج المتماسك، ووحدة التحكم في الذاكرة، وNOC، وPCIE والعديد من اللبنات الأساسية الأساسية لـ SOCs خادم Xeon.

من أنت

تعال وكن جزءًا من فريق فائز في FVCTO (المكتب المركزي للتحقق الرسمي). كمهندس تحقق رسمي، ستكون مسؤولاً عن ما يلي ولكن ليس مقتصرًا على:

• التحقق من المعمارية الدقيقة باستخدام أدوات وتقنيات التحقق الرسمي القياسية في الصناعة بناءً على أحدث خوارزميات التحقق من النماذج والتحقق من التكافؤ على IPs و SOCs ذات التصميم العالمي لخوادم، العملاء والرسوم البيانية.

  
  
  

• استخدام تفاصيل تصميم المعمارية والـ RTL.

  
  
  

• تحديد نطاق التحقق الرسمي، ونشر الاستراتيجية الصحيحة لإثبات الصحة أثناء نشر تقنيات رسمية متقدمة، وإنشاء نماذج تجريدية للتقارب على التصميم.

  
  
  

• تحديد الحدود الصحيحة للتصميم، وإنشاء خطط اختبار شاملة للتحقق الرسمي، وتتبع، والتحقق، وتطبيق تقنيات التجريد، والتقارب على التصاميم المعقدة لتقديم تصميم عالي الجودة في الوقت المحدد وتوضيح العائد على الاستثمار. تحليل المنهجيات الجديدة، وتقييم الأدوات الجديدة وتأكيد النتائج.

  
  
  

• العمل مع البائعين على حل مشاكل التصميم والأدوات الصعبة.

  
  
  

بالإضافة إلى المؤهلات، يجب أن يظهر المرشح الناجح:

• مهارات حل المشكلات وتصحيح الأخطاء.

  
  
  

• الرغبة في العمل عن كثب مع فرق التصميم المختلفة وفرق المواقع المتعددة.

  
  
  

• مهارات الاتصال الشفهي والكتابي.

  
  
  

• مدفوع، ذاتي التوجيه ويمكنه العمل بفعالية بشكل مستقل وفي بيئة جماعية.

  
  
  

المؤهلات:

المؤهلات الدنيا

يجب أن يمتلك المرشح ما يلي؛

• درجة البكالوريوس في الهندسة الكهربائية، هندسة الكمبيوتر، علوم الكمبيوتر أو مجال ذي صلة مع 8 سنوات من الخبرة ذات الصلة أو الدراسة

  
  
  

• - أو - درجة الماجستير في الهندسة الكهربائية، هندسة الكمبيوتر، علوم الكمبيوتر أو مجال ذي صلة مع 7 سنوات من الخبرة ذات الصلة أو الدراسة.

  
  
  

• - أو - دكتوراه في الهندسة الكهربائية، هندسة الكمبيوتر، علوم الكمبيوتر أو مجال ذي صلة مع 3 سنوات من الخبرة ذات الصلة أو الدراسة.

  
  
  

خبرة في ما يلي:

• لغات RTL مثل System Verilog أو VHDL.

  
  
  

• لغات التأكيد مثل SVA، والتحقق الرسمي.

  
  
  

المؤهلات المفضلة

خبرة في:

• أساسيات تكنولوجيا التحقق الرسمي، بما في ذلك التحقق من النماذج وكتابة التأكيدات الرسمية للتعبير عن النية المعمارية للتصاميم.

  
  
  

• مبادئ وأساليب التحقق الرسمي.

  
  
  

• هندسة الكمبيوتر، التصميم الرقمي وطرق التحقق.

  
  
  

• البحث في مجال التحقق الرسمي.

  
  
  

نوع الوظيفة: توظيف ذوي الخبرة

الوردية: الوردية 1 (الهند)

الموقع الرئيسي: الهند، بنغالور

المواقع الإضافية:



مجموعة الأعمال: في مجموعة مركز البيانات (DCG)، نحن ملتزمون بتقديم منتجات استثنائية وإسعاد عملائنا. نقدم حلولًا قائمة على Xeon واسعة النطاق ومنتجات مخصصة قائمة على x86، مما يضمن الابتكار المخصص لاحتياجات متنوعة عبر الحوسبة العامة، وخدمات الويب، وHPC، والأنظمة المعززة بالذكاء الاصطناعي. تشمل مهمتنا تحديد استراتيجية الأعمال والخرائط، وإدارة المنتجات، وتطوير النظم البيئية وفرص الأعمال، وتقديم أداء مالي قوي، وتجديد ريادة x86. انضم إلينا ونحن نحول قطاع مركز البيانات من خلال منتجات رائدة مدفوعة بالعمل وتحالف وثيق مع شركائنا.

بيان النشر: سيتم النظر في جميع المتقدمين المؤهلين للتوظيف دون النظر إلى العرق أو اللون أو الدين أو العقيدة الدينية أو الجنس أو الأصل القومي أو النسب أو العمر أو الإعاقة الجسدية أو العقلية أو الحالة الطبية أو المعلومات الوراثية أو حالة الخدمة العسكرية والمحاربين القدامى أو الحالة الزوجية أو الحمل أو الجنس أو التعبير عن الجنس أو الهوية الجنسية أو التوجه الجنسي أو أي سمة أخرى محمية بموجب القانون أو اللوائح المحلية أو المراسيم. موقف الثقة N/A

نموذج العمل لهذه الوظيفة

ستتطلب هذه الوظيفة وجودًا في الموقع. * تفاصيل نشر الوظيفة (مثل نموذج العمل، الموقع أو نوع الوقت) عرضة للتغيير.

*

معلومات إضافية: تلتزم إنتل بالامتثال لتحالف الأعمال المسؤول (RBA) وممارسات التوظيف الأخلاقية. نحن لا نفرض أي رسوم خلال عملية التوظيف لدينا. يجب ألا يُطلب من المرشحين دفع أي رسوم توظيف، أو رسوم فحص طبي، أو أي رسوم أخرى كشرط للتوظيف. إذا طُلب منك دفع أي رسوم خلال عملية التوظيف لدينا، يرجى الإبلاغ عن ذلك على الفور لمجندك.