موقعیت دکتری در بهینه‌سازی ترکیبی قابل توضیح
به یک گروه پیشرو در هوش مصنوعی بپیوندید تا توضیحات قابل درک انسانی برای حل‌کننده‌های بهینه‌سازی ترکیبی و اثبات‌ها توسعه دهید.
مناسب برای:مناسب‌ترین برای داوطلبانی با مدرک کارشناسی ارشد در علوم کامپیوتر یا ریاضیات، مهارت‌های برنامه‌نویسی قوی و علاقه‌مندی به روش‌های مبتنی بر منطق و توضیح‌پذیری هوش مصنوعی.
مرور کلی
این موقعیت دکتری با بودجه کامل فرصتی را برای کار در تقاطع حل مسئله اعلامی، بهینه‌سازی ترکیبی و هوش مصنوعی قابل توضیح فراهم می‌کند. نامزد موفق به گروه تحقیقاتی بارت بوگارتس در بخش زبان‌های اعلامی و هوش مصنوعی (DTAI) در دانشگاه کاتولیک لوون (KU Leuven) خواهد پیوست. این پروژه بر توسعه روش‌هایی برای تولید توضیحات قابل درک انسانی برای تصمیمات اتخاذ شده توسط بهینه‌سازهای ترکیبی متمرکز است و به نیازهای حیاتی برای اعتماد، حسابرسی‌پذیری و انطباق با مقررات می‌پردازد. این کار شامل بررسی‌های نظری، نوآوری‌های الگوریتمی و کاربردهای عملی است و بر پیوند اثبات‌های رسمی به توضیحات شهودی تأکید دارد. این موقعیت شامل یک بورس تحصیلی رقابتی، بودجه سفر برای شرکت در کنفرانس‌ها و تاریخ شروع انعطاف‌پذیر در اوایل سال ۲۰۲۷ می‌باشد.
نحوهٔ درخواست
برای دیدن امتیاز تطابق شخصی، نیازمندی‌ها، جزئیات بودجه و نحوهٔ درخواست — به انگلیسی یا فارسی — حساب کاربری رایگان بساز.