دانشجوی دکتری در روش‌های صوری و اتوماسیون طراحی برای رمزنگاری و امنیت سخت‌افزار

مرکز ریاضیات و انفورماتیک (CWI) در آمستردام از متقاضیان برای یک موقعیت دکتری با تامین مالی کامل در گروه پژوهشی امنیت رایانه خود دعوت به عمل می‌آورد. این پروژه که بخشی از برنامه گرانش NWO با عنوان «چالش‌ها در امنیت سایبری» است، بر توسعه ابزارهای استدلال خودکار، سنتز منطق و تأیید صوری حفظ‌کننده حریم خصوصی برای تقویت اعتماد به پروتکل‌های رمزنگاری و پیاده‌سازی‌های سخت‌افزاری تمرکز دارد. نامزد موفق ابزارهای نمونه اولیه را خواهد ساخت، آن‌ها را بر روی معیارهای واقع‌بینانه ارزیابی خواهد کرد و با شرکای پژوهشی پیشرو ملی و بین‌المللی همکاری خواهد نمود. سرپرستی این پروژه توسط دکتر چنگلو جین تحت ریاست پروفسور مارتن فان دیک انجام می‌شود.