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 automata-based methods for solving first-order theories of arithmetic, including extensions of linear integer and linear real arithmetic. Related directions, such as constructing automata for arithmetic formulas using learning algorithms, may also be explored.
The position requires good problem solving skills and proficiency in spoken and written English. A background on algorithms and automata theory is highly desirable. This is a great opportunity for graduating master students that are considering pursuing a PhD degree.
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 3 months. The starting date is flexible, starting in February 2026.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2025-11-intern-automarith. Deadline for applications is December 1st, 2025. 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 ().
Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the granting authority. Neither the European Union nor the granting authority can be held responsible for them.
