Estudiante de doctorado en ataques y defensas microarquitectónicos

Descripción

Resumen: Esta plaza de estudiante de doctorado implica investigación sobre seguridad microarquitectónica dentro de la subvención ERC Consolidator «PRIMULA». Aspectos destacados: 1. Trabajar bajo la supervisión de Marco Guarnieri en seguridad microarquitectónica. 2. Participar en investigaciones de vanguardia en lenguajes de programación y seguridad informática. 3. Colaborar en temas como la generación aleatoria de entradas (fuzzing) de CPU y la verificación de hardware para la seguridad. Se convoca una plaza de estudiante de doctorado en el Instituto IMDEA Software, Madrid, España. Los candidatos seleccionados trabajarán bajo la supervisión de Marco Guarnieri. El estudiante de doctorado trabajará en el marco de la subvención ERC Consolidator «PRIMULA: Seguridad microarquitectónica fundamentada con contratos de filtración». Algunos temas potenciales de investigación son los siguientes: * Generación aleatoria de entradas (fuzzing) de CPU para filtraciones de información (tanto en modo caja negra en CPUs físicas como en modo caja blanca en diseños RTL) * Verificación de hardware para la seguridad microarquitectónica * Síntesis de modelos de filtración a nivel de programa a partir de diseños RTL * Técnicas de análisis y verificación de programas para detectar programas vulnerables a ataques microarquitectónicos * Verificación de propiedades de seguridad en hardware mediante diseños RTL * Técnicas de compilación segura para prevenir ataques microarquitectónicos El tema específico de la investigación se determinará según los intereses comunes del candidato y el director. ### **¿Quién debe presentar su candidatura?** Los candidatos ideales han obtenido (o se encuentran en su último año de) un máster en Ciencias de la Computación, Ingeniería Informática o Matemáticas, con experiencia en al menos uno de los siguientes ámbitos: * Seguridad informática * Pruebas y generación aleatoria de entradas (fuzzing) * Arquitecturas de computadores * Análisis de programas, compiladores y verificación * Métodos formales y lógica Se valorarán muy positivamente unas sólidas habilidades de programación. El puesto exige buenas capacidades de trabajo en equipo y comunicación, incluido un excelente dominio oral y escrito del inglés. ### **Trabajar en el Instituto IMDEA Software** El Instituto IMDEA Software está clasificado entre los mejores institutos europeos de investigación en los ámbitos de lenguajes de programación y seguridad informática. Ubicado en el Parque Científico y Tecnológico de Montegancedo, combina perfectamente la soleada y vibrante ciudad de Madrid con investigación de vanguardia y un entorno laboral inspirador. El instituto ofrece una beca internacionalmente competitiva, acceso a un excelente sistema público de atención sanitaria, prestaciones por desempleo, prestaciones por jubilación y apoyo para viajes relacionados con la investigación. El idioma de trabajo en el instituto es el inglés. No se requiere conocimiento del español. ### **Fechas** La duración de la plaza está prevista para toda la duración de los estudios doctorales. El período ideal de inicio es a partir de septiembre de 2026. El plazo de presentación de solicitudes finaliza el **5 de junio de 2026**. La evaluación de las solicitudes comenzará inmediatamente y continuará hasta cubrir la plaza. ### **¿Cómo presentar la solicitud?** Los interesados deben enviar su solicitud en https://careers.software.imdea.org/, seleccionando la opción **Estudiante de doctorado** y el código de referencia **2026\-05\-phd\-uarchsec**. El proceso de selección cumplirá con la Política OTM\-R (Reclutamiento Abierto, Transparente y Basado en el Mérito) del Instituto IMDEA Software. ### **Preguntas** Para cualquier consulta sobre estas plazas, póngase en contacto con Marco Guarnieri (). *Esta plaza está financiada por la Unión Europea a través del Consejo Europeo de Investigación en el marco del programa Horizonte Europa, subvención ERC \[Primula], número de acuerdo de subvención \[101230068].*