Práctica en algoritmos para problemas de programación entera no lineal en dimensión fija

Descripción

Resumen: Esta práctica en el Instituto IMDEA Software se centra en el desarrollo de nuevos métodos para resolver sistemas de desigualdades sobre enteros, incluidos los programas lineales enteros. Aspectos destacados: 1. Trabajar en nuevos métodos para resolver sistemas de desigualdades sobre enteros. 2. Oportunidad de explorar direcciones de investigación relacionadas. 3. Unirse a un instituto europeo de investigación en informática clasificado entre los mejores. Se convoca una plaza de práctica en el Instituto IMDEA Software en Madrid, España. Los candidatos seleccionados trabajarán con Alessio Mansutti. El objetivo de este proyecto es desarrollar nuevos métodos para resolver sistemas de desigualdades sobre los enteros, que incluyan restricciones adicionales sobre las variables (por ejemplo, condiciones de regularidad), pero asumiendo que solo hay un número fijo de variables. Se pueden explorar direcciones de investigación relacionadas, como por ejemplo el problema de resolver programas lineales enteros en dimensión fija cuando los coeficientes se especifican de forma más concisa que mediante codificación binaria. ### **¿Quién debe presentar su candidatura?** La plaza requiere buenas habilidades para la resolución de problemas y dominio del inglés hablado y escrito. Se exige una titulación de máster en Matemáticas o Ciencias de la Computación, así como conocimientos sólidos en al menos uno de los siguientes temas: algoritmos, álgebra lineal, lógica y teoría de modelos. ### **Trabajar en el Instituto IMDEA Software** El Instituto IMDEA Software está clasificado entre los mejores institutos europeos de investigación en informática. El instituto ofrece una beca internacionalmente competitiva 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 es de 6 meses. La fecha de inicio es flexible, a partir de octubre de 2026\. ### **¿Cómo presentar la solicitud?** Los solicitantes interesados deben enviar su candidatura en https://careers.software.imdea.org/ utilizando el código de referencia **2026\-05\-intern\-model\-arith**. La fecha límite para presentar solicitudes es el **15 de junio de 2026**. La revisión de las solicitudes comenzará inmediatamente. 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 la plaza, póngase en contacto directamente con Alessio Mansutti ().