موقعیت دکتری در اصول کامپایل برای زبان‌های معکوس (شبکه دکتری MSCA E-CoRe، DC7)، دانشگاه کپنهاگ

دانشگاه کپنهاگ یک موقعیت دکتری را به عنوان بخشی از شبکه دکتری ماری اسکلودوفسکا-کوری E-CoRe ارائه می‌دهد که بر اصول کامپایل برای زبان‌های معکوس تمرکز دارد. این موقعیت سه ساله از 1 ژانویه 2027 یا طبق توافق آغاز خواهد شد. نامزد موفق در تحقیقاتی شرکت خواهد کرد که هدف آن پیشرفت محاسبات معکوس است که برای شیوه‌های دیجیتال پایدار حیاتی است. مسئولیت‌ها شامل مطالعه تکنیک‌های ترجمه برای زبان‌های معکوس، طراحی روش‌های بهینه‌سازی و پیاده‌سازی کامپایلرهای نمونه‌سازی است، با فرصت‌هایی برای همکاری و انتشار.