موقعیت مقطع دکتری در یادگیری ماشین قابل اعتماد: تحلیل و تأیید هومات نرم

مؤسسه Inria Rennes از متقاضیان برای یک موقعیت دکتری سه ساله با تمرکز بر یادگیری ماشین قابل اعتماد و تحلیل اتومات نرم دعوت به عمل می‌آورد. نامزد پذیرفته‌شده به پروژه مشارکتی SAIF می‌پیوندد تا ویژگی‌های نظری و تجربی مدل‌های دینامیکی مبتنی بر شبکه عصبی را بررسی کند و آمار، بهینه‌سازی و تأیید صوری را به هم پیوند دهد. این کار شامل بررسی معماری‌های مختلف از شبکه‌های عصبی بازگشتی گرفته تا مدل‌های مدرن فضای حالت و ترنسفورمرها است. انتظار می‌رود نامزدها پژوهش‌های دقیقی انجام دهند، الگوریتم‌های جدیدی را نمونه‌سازی کنند، در مجلات و کنفرانس‌های معتبر منتشر کنند و به طور فعال در جلسات پروژه و آموزش‌های علمی شرکت کنند.