Applications are invited for one internship student position in at the IMDEA Software Institute, Madrid, Spain.
The goal of the internship is to study novel algorithms for a non-linear extension of integer programming featuring divisibility constraints between linear polynomials (also known as existential Presburger arithmetic with divisibility constraints). This extension has recently found many applications in program verification and formal methods. It is used as a black-box to solve unification problems, problems in automata theory, and for solving systems of word equations. Unfortunately, the current best-known algorithm for integer programming with divisibility constraints has a severe bottleneck. On a technical level, the task of the successful candidate is to understand this bottleneck, and study possible solutions or formally prove that no solution is possible. Of interest are also explorations of whether this bottleneck can be avoided for the specific applications where integer programming with divisibility constraints is used; the systems that must be solved in these applications might have additional structure.
Other topics related to non-linear extensions of integer programming, and more generally arithmetic theories, are available. The selected candidate will work under the supervision of Alessio Mansutti.
Ideal candidates have earned, or are in their last year of, a Master’s degree in Computer Science, Computer Engineering, or Mathematics.
Good knowledge of complexity theory and algorithms is required, as well as some experience (at the level of a Bachelor’s degree) in the following areas:
The position requires good communication skills, including excellent spoken and written English.
The IMDEA Software Institute is ranked among the best European research institutes in the areas of Programming Languages and Computer Security. Located in the Montegancedo Science and Technology Park, it perfectly combines the sunny and vibrant city of Madrid with cutting edge research and inspiring working environment.
The institute provides an internationally competitive stipend, access to an excellent public health care system, unemployment benefits, retirement benefits, and support for research related travel. The working language at the institute is English. Knowledge of Spanish is not required.
The duration of the position is intended to be for the duration of the doctoral studies. The ideal starting period is from mid-February 2025.
Deadline for applications is December 20th, 2024. Review of applications will begin immediately, and continue until the position is filled.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2024-11-intern-epad.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For enquiries about the position, please contact Alessio Mansutti directly ().
Funded by the Madrid Regional Government (César Nombela grant: 2023-T1/COM-29001)
