Internship in algorithms for non-linear integer programming problems in fixed dimension

Description

Summary: This internship at IMDEA Software Institute focuses on developing novel methods for solving systems of inequalities over integers, including integer linear programs. Highlights: 1. Work on novel methods for solving systems of inequalities over integers. 2. Opportunity to explore related research directions. 3. Join a top-ranked European research institute in computer science. Applications are invited for an internship position at the IMDEA Software Institute in Madrid, Spain. The successful candidates will work with Alessio Mansutti. The goal of this project is to develop novel methods for solving system of inequalities over the integers, featuring additional constraints on the variables (e.g., regularity conditions), but assuming that only a fixed number of variables. Related research directions can be explored, as for example the problem of solving integer linear programs in fixed dimension when the coefficients are given more succinctly than binary encoding. ### **Who should apply?** The position requires good problem solving skills and proficiency in spoken and written English. A master in Math or CS is required, as well as strong knowledge in at least one topic among algorithms, linear algebra, logic and model theory. ### **Working at IMDEA Software** The IMDEA Software Institute is ranked among the best European research institutes in computer science. The institute provides an internationally competitive stipend and support for research related travel. The working language at the institute is English. Knowledge of Spanish is not required. ### **Dates** The position has a duration of 6 months. The starting date is flexible, starting in October 2026\. ### **How to apply?** Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code **2026\-05\-intern\-model\-arith**. Deadline for applications is **June 15th, 2026**. Review of applications will begin immediately. The recruitment process will comply with the IMDEA Software Institute’s OTM\-R Policy (Open, Transparent and Merit\-based Recruitment). For enquiries about the position, please contact Alessio Mansutti directly ().