خبير في الرياضيات

ساعد في تحديد كيفية استدلال نماذج الذكاء الاصطناعي المتقدمة في الرياضيات.

1. نظرة عامة

نحن نبحث عن علماء رياضيات كبار لتحسين طريقة استدلال نماذج الذكاء الاصطناعي المتقدمة في البحث الرياضي الحقيقي.

حكمك الرياضي هو جوهر هذا الدور. ستراجع جودة مهام الاستدلال الرياضي ومخرجات النماذج، وتكتب مواصفات المسائل والحلول المرجعية والبراهين التي تحدد ما يُعد «صحيحاً»، وتصمم معايير تقييم تُظهر ما إذا كان النموذج يتحسن فعلاً. نحن نبحث عن متخصص ممارس وليس عن شخص ذي معرفة عامة.

هذا الدور عن بُعد بالكامل.

2. المسؤوليات الرئيسية

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

3. المؤهلات الأساسية

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