موقعیت دکتری در زبان‌های برنامه‌نویسی برگشت‌پذیر (شبکه دکتری MSCA موسوم به E-CoRe)
زبان‌های برنامه‌نویسی برگشت‌پذیر پیشرفته را در قالب یک شبکه دکتری ماری اسکودوسکا-کوری در دانشگاه کپنهاگ کاوش کنید.
مناسب برای:مناسب برای پژوهشگران در ابتدای مسیر شغلی با پیشینه قوی در علوم کامپیوتر نظری، زبان‌های برنامه‌نویسی یا روش‌های صوری که به دنبال مشارکت در پژوهش‌های نوآورانه در زمینه محاسبات برگشت‌پذیر هستند.
مرور کلی
این موقعیت دکتری بر روی زبان‌های برنامه‌نویسی برگشت‌پذیر در چارچوب شبکه دکتری MSCA به نام E-CoRe تمرکز دارد که توسط بخش زبان‌های برنامه‌نویسی و نظریه محاسبات (PLTC) در دانشگاه کپنهاگ میزبانی می‌شود. داوطلب موفق به تحقیق در تقاطع علوم کامپیوتر نظری و طراحی زبان‌های برنامه‌نویسی خواهد پرداخت و در پیشرفت‌های حوزه محاسبات برگشت‌پذیر مشارکت خواهد کرد. این موقعیت فرصتی کاملاً تأمین مالی شده برای اخذ مدرک دکتری در یک محیط پژوهشی پویا را فراهم می‌کند و تاریخ شروع آن برای ژانویه ۲۰۲۷ یا پس از آن برنامه‌ریزی شده است. متقاضیان باید به علوم کامپیوتر نظری علاقه‌مند باشند و مشتاق کاوش در الگوهای محاسباتی جدید باشند.
نحوهٔ درخواست
برای دیدن امتیاز تطابق شخصی، نیازمندی‌ها، جزئیات بودجه و نحوهٔ درخواست — به انگلیسی یا فارسی — حساب کاربری رایگان بساز.