IMDEA Software

IMDEA initiative

Home > Open Positions

Research internships at the CLIP group in program analysis, verification, optimization, language design and parallelism

The IMDEA Software Institute (Madrid, Spain) invites applications for research internships.

Selected candidates will work under the supervision of Manuel Hermenegildo, Manuel Carro, Pedro López-García, José Francisco Morales, within the CLIP group at IMDEA Software. The topic of the research, to be determined based on the common interests of the candidate and the supervisor(s), will be in the areas of:

Who should apply?

Applicants should be final year BSc or MSc/PhD students in computer science, mathematics or a related discipline. Proven top programming skills as well as ability to understand and develop algorithms are required. Familiarity with logic and formal methods will be considered as a plus.

Working at IMDEA Software

The positions are based in Madrid, Spain, where the IMDEA Software Institute is situated. 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 is intended to be for 4-6 months (with some flexibility). The ideal starting period is from September 2019.

How to apply?

Applicants interested in the positions should submit their application online at Deadline for applications is September 18th, 2019. Review of applications will begin immediately.

For any questions about these positions, please contact the supervisors above (hiring at cliplab dot org).

Please visit for more information about our research group, including a detailed list of publications by topic and year, and a comprehensive list of ongoing and completed projects.