Applications are invited for an internship at the IMDEA Software Institute, Madrid, Spain. The selected candidate(s) will work under the supervision of Manuel Hermenegildo, Pedro López, and José Francisco Morales.
Selected candidates will work with other team members on gradual verification and optimization of programs using static analysis based on abstract interpretation, and on its application to cost-efficient computing in terms of various resources, such as energy (as in green computing), gas (as in blockchain platforms), etc.
Applicants should be BSc or Master’s students in Computer Science, Computer Engineering, or Mathematics close to finishing their degree. Solid programming skills will be highly valued. The position requires good teamwork and communication skills, including excellent spoken and written English. Familiarity with any of the following areas will also be a plus:
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 combines the sunny and vibrant city of Madrid with the opportunity of carrying out cutting-edge research in an truly inspiring working environment.
The institute provides for travel expenses and an internationally competitive stipend.
The working language at the institute is English. Knowledge of Spanish is not required.
The internship duration and starting dates are flexible, and will be agreed on with the candidate.
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 Intern and reference code 2025-03-intern-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 ().
