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.
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.
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.
The position has a duration of 6 months. The starting date is flexible, starting in October 2026.
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 ().
