Applications are invited for a PhD student that wishes to pursue a long research visit in IMDEA Software Institute, Madrid, Spain.
The successful candidates will work with Alessio Mansutti.
The goal of the project is to develop novel algorithms for non-linear variants of integer programming featuring divisibility constraints and/or exponential functions. These variants have recently found several applications to formal methods and operations research. Other topics in the general area of arithmetic theories for computer science can be considered.
The position requires excellent problem solving skills and proficiency in spoken and written English. A background on algorithms and computational complexity is required. Candidates must be currently enrolled in a PhD program in computer science or mathematics.
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 from January 2024.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/. Deadline for applications is December 3rd, 2023. Review of applications will begin immediately.
Funded by the Madrid Regional Government (César Nombela grant 2023-T1/COM-29001)
