Categorías
···
Entrar / Registro
Resumen: Esta práctica investigadora se centra en el desarrollo de enfoques de síntesis basados en ejemplos para modelos a nivel de programa de fugas especulativas bajo la supervisión del Dr. Marco Guarnieri. Aspectos destacados: 1. Trabajar en investigación de vanguardia en seguridad informática. 2. Unirse a un entorno de investigación dinámico e inspirador. 3. Colaborar en técnicas innovadoras de análisis y verificación de programas. Se convocan candidaturas para una práctica investigadora en el Instituto IMDEA Software, ubicado en Madrid (España). Los candidatos seleccionados trabajarán bajo la supervisión del Dr. Marco Guarnieri. La práctica se centrará en el desarrollo de enfoques de síntesis basados en ejemplos para la construcción de modelos a nivel de programa de fugas especulativas. **¿Quién debe presentar su candidatura?** --------------------- Los candidatos ideales serán estudiantes de último año de licenciatura o máster en Ciencias de la Computación, Ingeniería Informática o Matemáticas con interés en el tema de investigación mencionado anteriormente. Será valorada como ventaja la experiencia en las siguientes áreas: * Seguridad informática * Sistemas informáticos * Aprendizaje automático * Análisis y verificación de programas * Métodos formales y 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** ----------------------------- Clasificado entre los mejores institutos de investigación europeos en Seguridad Informática, el Instituto IMDEA Software ofrece un entorno de investigación dinámico e inspirador ubicado dentro del Parque Científico y Tecnológico de Montegancedo. Enmarcado por el vibrante paisaje urbano de Madrid, el instituto ofrece una beca internacionalmente competitiva, acceso a una excelente atención sanitaria pública, prestaciones por desempleo, prestaciones por jubilación y apoyo para viajes relacionados con la investigación. El inglés es la lengua de trabajo principal, y no se requiere conocimiento del español. ### **Fechas** La duración de la práctica será de 6 meses. La fecha ideal de inicio es el 1 de marzo de 2026. El plazo de presentación de solicitudes finaliza el **20 de febrero de 2026**. La revisión de las solicitudes comenzará inmediatamente y continuará hasta cubrir las plazas disponibles. ### **¿Cómo presentar la solicitud?** Los interesados en el puesto deben enviar su solicitud en https://careers.software.imdea.org/ seleccionando la opción **Práctica** y el código de referencia **2026\-02\-intern\-hwsec**. 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 con Marco Guarnieri ().
