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. Aspectos destacados: 1. Trabajar bajo la supervisión del Dr. Marco Guarnieri 2. Centrarse en la síntesis basada en ejemplos para modelos de fugas especulativas 3. Entorno de investigación dinámico e inspirador 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 deberían ser 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. La experiencia en las siguientes áreas constituye un valor añadido: * 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 principales institutos de investigación europeos en Seguridad Informática, el Instituto IMDEA Software ofrece un entorno de investigación dinámico e inspirador, situado dentro del Parque Científico y Tecnológico de Montegancedo. Enmarcado en 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 el idioma principal de trabajo y no se requiere conocimiento del español. ### **Fechas** La duración de la práctica está prevista para 6 meses. La fecha ideal de inicio es el 1 de marzo de 2026. El plazo de solicitud finaliza el **20 de febrero de 2026**. La evaluación de las solicitudes comenzará inmediatamente y continuará hasta cubrir las plazas disponibles. ### **¿Cómo presentar la solicitud?** Los candidatos 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 ().
