Estudiante de doctorado en compilación segura para la seguridad frente a canales laterales

Descripción

Se convocan candidaturas para un puesto de estudiante de doctorado en el Instituto IMDEA Software (Madrid, España). Los candidatos seleccionados trabajarán con Marco Guarnieri en el diseño, verificación e implementación de defensas a nivel de compilador contra ataques microarquitectónicos y de canal lateral. El estudiante de doctorado trabajará en el marco de la subvención consolidadora del Consejo Europeo de Investigación (ERC) «PRIMULA: Seguridad microarquitectónica rigurosa con contratos de filtración». El tema específico de la investigación se determinará según los intereses comunes del candidato y del tutor. ### **¿Quién debe presentar su candidatura?** Los candidatos ideales han obtenido (o se encuentran en su último año de) una titulación de máster en Ciencias de la Computación, Ingeniería Informática o Matemáticas, con experiencia e interés en al menos uno de los siguientes ámbitos: * Seguridad informática * Lenguajes de programación y compiladores * Análisis y verificación de programas * Métodos formales * Lógica Se valorarán muy positivamente sólidas habilidades de programación. El puesto requiere 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 figura entre los mejores institutos europeos de investigación en los ámbitos de los lenguajes de programación y la 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 del puesto está prevista para todo el período de los estudios doctorales. El período ideal de inicio es septiembre de 2026. El plazo de presentación de solicitudes finaliza el **25 de julio de 2026**. La evaluación de las candidaturas comenzará inmediatamente y continuará hasta cubrir el puesto. ### **¿Cómo presentar la solicitud?** Los candidatos 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\-07\-phd\-compilersec**. El proceso de selección cumplirá con la Política OTM\-R del Instituto IMDEA Software (Selección Abierta, Transparente y Basada en el Mérito). **Preguntas** ------------- Para cualquier consulta sobre estas plazas, póngase en contacto directamente con Marco Guarnieri (). *Este puesto está financiado 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], acuerdo de subvención n.º \[101230068].*