منصب ما بعد الدكتوراه في التحقق الرسمي واكتشاف الخوارزميات

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