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

کشور: هلند

مهلت اپلای: ۲۵ اردیبهشت ۱۴۰۵

توضیحات موقعیت: یک دوره دکتری ۴ ساله با فاند کامل در دانشگاه وریج آمستردام (VU) با هدف توسعه اصول استدلال صوری برای تحلیل امنیت پروتکل‌های رمزنگاری. حقوق ماهانه از ۳,۰۵۹ یورو شروع شده و در سال چهارم به ۳,۸۸۱ یورو می‌رسد. این پوزیشن شامل قرارداد رسمی استخدامی، پاداش پایان سال و بودجه مجزا برای کنفرانس‌های بین‌المللی است.

مناسب برای فارغ‌التحصیلان:

• علوم کامپیوتر

• ریاضیات

• امنیت سایبری / مهندسی نرم‌افزار

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

سایت منبع برای اپلای:

https://workingat.vu.nl/vacancies/phd-position-in-formal-methods-for-concurrent-cryptographic-protocols-amsterdam-1288339

ایمیل برای سوالات: s.a.oechsner@vu.nl

دانشگاه VU آمستردام پوزیشن دکتری ۴ ساله در زمینه روش‌های صوری و رمزنگاری را با حقوق رقابتی، مزایای کامل شغلی هلند و فرصت تحقیق در یکی از مراکز ممتاز بین‌المللی ارائه می‌دهد.