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

این موقعیت دکتری در Université Paris-Saclay، مستقر در بخش LIST، بر طراحی راهکارهای سخت‌افزاری و نرم‌افزاری تخصصی برای سیستم‌های حیاتی تمرکز دارد. این پژوهش بررسی می‌کند که چگونه می‌توان انواع پردازنده‌های درون‌ترتیب با کارایی بالا مانند CVA6 را برای برآورده کردن تضمین‌های دقیق زمان‌بندی بدون قربانی کردن توان عملیاتی تطبیق داد. نامزد پروژه، طرح‌های کلی پیش‌بینی‌پذیری را برای اجرای گمانه‌زنانه (speculative) تعریف خواهد کرد و به سازماندهی ذخیره‌سازی و رفتارهای بازنشانی (rollback) خواهد پرداخت. اتمام موفقیت‌آمیز پروژه نیازمند بررسی دقیق طراحی معماری کامپیوتر و یکپارچه‌سازی سخت‌افزار و نرم‌افزار است.