موقعیت دکتری در زمینه اثبات هم ارزی عملکردی کدهای باینری برای امنیت سایبری

این موقعیت دکتری بر امنیت سایبری در سیستم‌های تعبیه‌شده تمرکز دارد و به‌طور ویژه به بررسی تضمین‌های رسمی برای درستی عملکردی برنامه‌های ایمن‌شده می‌پردازد. این پژوهشگر که در دانشگاه گرنوبل آلپ و سازمان CEA در ساکلی یا گرنوبل مستقر خواهد شد، روی این موضوع کار خواهد کرد که اطمینان حاصل شود اقدامات متقابل نرم‌افزاری در برابر حملات فیزیکی، رفتار اصلی برنامه را تغییر نمی‌دهند. این پروژه از ابزارهای منبع‌باز مانند BINSEC و زنجیره ابزار کامپایلر مبتنی بر LLVM یعنی COGITO بهره می‌برد. نامزد موفق طی یک دوره سه ساله در یک تیم چندرشته‌ای از متخصصان نرم‌افزار تعبیه‌شده، امنیت سایبری و طراحی سخت‌افزار همکاری خواهد کرد.