PhD student in algorithms for arithmetic theories

Applications are invited for one PhD student position in at the IMDEA Software Institute, Madrid, Spain.

The PhD position is on algorithms for non-convex extensions of Integer Programming (and more generally arithmetic theories), and the application of these extensions to formal methods. The specific topic of the research will be determined based on the common interests of the candidate and the supervisor, and other topics in logics, verification and learning theory can be considered.

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, with experience in at least one of the following areas:

Good programming skills as well as ability to understand and develop algorithms are required. Familiarity with SMT solvers is appreciated, but not required. 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 October 2023.

Applicants interested in the position should submit their application at https: // careers.software.imdea.org/ using reference code 2023-05-phd-int- prog. Deadline for applications is July 20th, 2023. Review of applications will begin immediately, and continue until the position is filled.

For enquiries about the position, please contact alessio dot mansutti at imdea dot org.