دانش‌پژوه مقطع دکتری در زمینه تایید برنامه‌های کوانتومی مقیاس‌پذیر

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