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, on gradual verification and optimization of programs using combined static/dynamic analysis based on multi-variant abstract interpretation, as well as on its application to cost-efficient computing, such as in green computing (where the main focus is the energy consumption of programs) or blockchain platforms (where “gas” is a resource of interest, among others).
The specific topic of the research will be determined based on the common interests of the candidate and the supervisor(s), within the areas of:
Techniques for static or combined static/dynamic analysis and verification of non-functional properties of programs such as energy consumption, execution time, memory, etc. This includes work on the auxiliary analyses required in this objective, as well as the application of the techniques to areas such as green computing, blockchain, optimization, granularity control, will be also of interest.
Techniques for gradual verification using multivariant abstract interpretation. The work may also involve the use of automated theorem proving, developing combinations of static analysis and partial evaluation, and in general programming language design. Supporting higher order and parallel/concurrent programs will be also 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 April 29, 2025. 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/ selecting option PhD Student and reference code 2025-03-phd-gradualgreen.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For inquiries about the position, please contact: Manuel Hermenegildo (), Pedro López (), or José Fracisco Morales ().
