IMDEA Software

IMDEA initiative

Home > Open Positions

Research Internship in Analysis and Verification of Energy Consumption

Applications are invited for a research intern position at the IMDEA Software Institute, Madrid, Spain.

The selected candidates will work under the supervision of Manuel Hermenegildo, Manuel Carro, Pedro López-García, 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 development of tools for static or combined static/dynamic analysis and verification of energy consumption of programs.

Intern candidates should be completing an MSc or BSc degree in computer science, mathematics, or a related discipline, with an interest in the above areas, and a strong commitment to research. Solid background in logic, theoretical computer science, mathematics and formal methods will be highly valued, as well as proven programming skills. Good teamwork and communication skills, including excellent spoken and written English are also required.

The position is based in Madrid, Spain where the IMDEA Software Institute is located. Salaries are internationally competitive and include attractive conditions such as access to an excellent public healthcare system. The working language at the institute is English. Knowledge of Spanish is not required.

Working at IMDEA Software

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 internship duration is intended to be for 6 months, although other arrangements can be made. The ideal starting period is Summer 2020.

How to apply?

Applicants interested in the positions should submit their application online at selecting option 7 - Intern and reference code 2020-06-intern-clip-energy Deadline for applications is June 29th, 2020. Review of applications will begin immediately.


For any questions about these positions please contact Manuel Hermenegildo directly (manuel dot hermenegildo at imdea dot org).