Puesto de doctorado en análisis de recursos para la seguridad

Descripción

Se convocan candidaturas para un puesto de estudiante de doctorado en el Instituto IMDEA Software, Madrid, España. El candidato seleccionado trabajará bajo la supervisión de Manuel Hermenegildo, Pedro López y José Francisco Morales. El tema específico de la investigación se determinará según los intereses comunes del candidato y del (de los) supervisor(es), dentro del ámbito de las técnicas de **análisis y verificación estáticos o combinados estático/dinámicos de propiedades no funcionales de programas**, tales como **tiempo de ejecución, memoria, consumo energético, etc.** Esto incluye trabajos sobre los análisis auxiliares necesarios para este objetivo, así como la aplicación de estas técnicas a la seguridad y privacidad, incluidos los ataques basados en canales laterales relacionados con recursos. También serán de interés otras áreas de aplicación, como el control de granularidad, la informática verde, la optimización, etc. ### **¿Quién debe presentar su candidatura?** Los candidatos deben haber obtenido (o encontrarse en su último año de estudios) un título universitario de grado o máster en Ciencias de la Computación, Ingeniería Informática o Matemáticas, con interés y cierta experiencia en al menos uno de los siguientes ámbitos: * Análisis de programas, compiladores * Métodos formales y lógica * Interpretación abstracta * Pruebas * Seguridad y privacidad * Programación lógica con restricciones Se valorarán muy positivamente 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 figura entre los mejores institutos europeos de investigación en los ámbitos de los lenguajes de programación y la verificación. Ubicado en Madrid, dentro del Parque Científico y Tecnológico de Montegancedo, combina perfectamente la soleada y vibrante ciudad de Madrid con una investigación de vanguardia en un entorno laboral verdaderamente inspirador. El Instituto ofrece salarios internacionalmente competitivos, 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 inicio puede producirse inmediatamente tras la resolución del puesto, aunque existe flexibilidad para adaptarse a circunstancias personales particulares. El plazo de presentación de candidaturas finaliza el 11 de septiembre de 2026\. La revisión de las solicitudes comenzará inmediatamente y continuará hasta cubrir todas las plazas. ### **¿Cómo presentar la candidatura?** Los candidatos interesados en el puesto deben enviar su solicitud en https://careers.software.imdea.org/ utilizando el código de referencia **2026\-09\-phd\-resources\-security**. El proceso de selección cumplirá con la Política OTM\-R del Instituto IMDEA Software (Reclutamiento Abierto, Transparente y Basado en el Mérito). Para consultas sobre el puesto, póngase en contacto con: Manuel Hermenegildo (), Pedro López (), o José Francisco Morales ().