موقعیت دکتری در مشتق‌سازی سیستماتیک زبان‌های صوری

این موقعیت دکتری ۴ ساله در دانشگاه صنعتی دلفت بررسی می‌کند که چگونه می‌توان زبان‌های صوری، مانند نظریه‌های نوع و منطق‌های برنامه‌نویسی، را مستقیماً از معناشناسی ریاضی آن‌ها مشتق‌سازی سیستماتیک کرد، به جای اینکه به صورت دستی طراحی شوند. این کاندیدا که در دپارتمان فناوری نرم‌افزار و تحت نظارت دکتر بندیکت آرنس فعالیت می‌کند، از ابزارهای نظریه رده‌ها و نظریه نوع استفاده خواهد کرد و در عین حال نتایج خود را با استفاده از دستیار اثبات آگدا فرمول‌بندی و بررسی می‌نماید. این نقش شامل پژوهش مستقل و مشارکتی، انتشار یافته‌ها، شرکت در سمینارهای علمی و مشارکت در تدریس علوم کامپیوتر است. متقاضی موفق، آموزش ساختاریافته دکتری را در مدرسه تحصیلات تکمیلی دانشگاه صنعتی دلفت در محیطی الهام‌بخش و مشارکتی دریافت خواهد کرد.