پست دکترا در روش‌های رسمی برای پروتکل‌های رمزنگاری همزمان
اصول استدلال صوری را برای پروتکل‌های رمزنگاری همکارانه ایمن در دانشگاه آزاد آمستردام توسعه دهید.
مناسب برای:مناسب برای فارغ‌التحصیلان علوم کامپیوتر یا ریاضیات با تخصص در روش‌های صوری، برنامه‌نویسی تابعی (مانند Haskell) و دستیارهای اثبات (مانند Lean, Agda). ایده‌آل برای پژوهشگرانی که مشتاق کمک به امنیت رمزنگاری و تأیید صوری هستند.
مرور کلی
این موقعیت دکتری در دانشگاه آزاد آمستردام بر پیشبرد روش‌های صوری برای تحلیل و استدلال درباره پروتکل‌های رمزنگاری همکارانه تمرکز دارد. نامزد موفق به انجام پژوهش‌های پیشرو برای ایجاد چارچوب‌های سیستماتیک جهت توصیف و تأیید خصوصیات امنیتی در این پروتکل‌ها خواهد پرداخت. فراتر از پژوهش، این نقش شامل وظایف آموزشی سبک، مانند سرپرستی دانشجویان کارشناسی/کارشناسی ارشد و کمک در کارهای درسی (حداکثر تا دو دوره آموزشی در سال) است. این پروژه با اهداف گسترده‌تر گروه علوم کامپیوتر هم‌راستا است که بر پژوهش‌های میان‌رشته‌ای و تأثیر اجتماعی تأکید دارد. متقاضیان باید به تأیید صوری، رمزنگاری و نظریه محاسباتی علاقه‌مند بوده و پایه‌ای قوی در برنامه‌نویسی تابعی یا دستیارهای اثبات داشته باشند.
نحوهٔ درخواست
برای دیدن امتیاز تطابق شخصی، نیازمندی‌ها، جزئیات بودجه و نحوهٔ درخواست — به انگلیسی یا فارسی — حساب کاربری رایگان بساز.