رياضي/ة – الصياغة الرسمية وأسس الذكاء الاصطناعي (عقد عن بُعد)

نظرة عامة على الدور

رياضي/ة – الصياغة الرسمية وأسس الذكاء الاصطناعي (عقد عن بُعد). حول الدور: ماذا لو كانت معرفتك العميقة بالرياضيات الرسمية قادرة على تشكيل طريقة استدلال أنظمة الذكاء الاصطناعي الأكثر تقدماً في العالم وإثباتها وتفكيرها مباشرةً؟ هذه الفرصة للرياضيين المولعين بالبرهان الصارم والأنظمة الرسمية للمساعدة في بناء الأسس الرياضية التي يعتمد عليها الذكاء الاصطناعي الحدّي

ما ستقوم به

• بناء براهين رسمية نظيفة ومقروءة ومنظمة تُترجم الاستدلال الرياضي غير الرسمي إلى شكل صارم قابل للتحقق آلياً
• تدقيق البراهين الرسمية الموجودة والتحقق منها من حيث الصحة والاكتمال والسلامة المنطقية
• القدرة على ترجمة الأفكار الرياضية غير الرسمية بطلاقة إلى براهين رسمية منظمة قابلة للتحقق آلياً
• تمتلك فرنسا تقليداً رياضياً من الدرجة الأولى، والعميل يريد مفكرين دقيقين قادرين على ترجمة هذا التقليد إلى براهين رسمية قابلة للتحقق آلياً

المتطلبات والشروط

• الموقع: عن بُعد
• الالتزام: 10–40 ساعة/أسبوع
• الحصول على درجة الماجستير أو الدكتوراه في الرياضيات أو مجال ذي صلة
• امتلاك خبرة عملية مع مساعدات البرهان الرسمي — Lean 4 مفضل بشدة
• القدرة على ترجمة الأفكار الرياضية غير الرسمية بطلاقة إلى براهين رسمية منظمة قابلة للتحقق آلياً
• الدوافع الذاتية والراحة في العمل باستقلالية في بيئة عمل عن بُعد وغير متزامنة
• خبرة سابقة في التحقق من البراهين أو إثبات المبرهنات أو مشاريع الصياغة الرياضية
• خبرة عبر مجالات رياضية متعددة — الطوبولوجيا والجبر والتحليل والمنطق وما يتخطاها

تفاصيل إضافية من المصدر

• صياغة الحجج الرياضية المتقدمة والمبرهنات في Lean 4 عبر مجموعة واسعة من التخصصات الرياضية