Applications are invited for a PhD student position at the IMDEA Software Institute, Madrid, Spain.
The selected candidate will work under the supervision of Manuel Hermenegildo, Pedro López, and José Francisco Morales.
The specific topic of the research will be determined based on the common interests of the candidate and the supervisor(s), within the area of techniques for static or combined static/dynamic analysis and verification of non-functional properties of programs such as execution time, memory, energy consumption, etc. This includes work on the auxiliary analyses required in this objective, as well as the application of these techniques to security and privacy, including resource-based side channel attacks. Other applications areas such as granularity control, green computing, optimization, etc. will also be of interest.
Candidates should have earned (or be in their last year of) a Bachelor or Master’s degree in Computer Science, Computer Engineering, or Mathematics, with interest and some expertise in at least one of the following areas:
Solid programming skills will be highly valued. The position requires good teamwork and 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 Verification. Located in Madrid, within the Montegancedo Science and Technology Park, it perfectly combines the sunny and vibrant city of Madrid with cutting-edge research in an truly inspiring working environment.
The Institute provides internationally competitive salaries, 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 starting period can be immediately after the position is resolved, although there is flexibility for individual circumstances.
Deadline for applications is September 11th, 2026. Review of applications will begin immediately and continue until the positions are filled.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2026-09-phd-resources-security.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy (Open, Transparent and Merit-based Recruitment).
For inquiries about the position, please contact: Manuel Hermenegildo (), Pedro López (), or José Fracisco Morales ().
