IMDEA initiative

Home > Open Positions

PhD positions at the CLIP group in program analysis, verification, optimization, language design, and parallelism

Applications are invited for PhD positions at the IMDEA Software Institute, Madrid, Spain.

Selected candidates will work under the supervision of Manuel Hermenegildo, Manuel Carro, Pedro López-García and 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:

The research is expected to lead to tool implementation, integrated with existing program analysis/verification environments at IMDEA Software, particularly the Ciao language and the CiaoPP development framework.

PhD candidates should have an excellent 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. Proven top programming skills as well as ability to understand and develop algorithms are required. Solid background in logic, automata theory, mathematics and formal methods will be highly valued. Good teamwork and communication skills, including excellent spoken and written English are also required.

The positions are based in Madrid, Spain where the IMDEA Software Institute is situated. 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.

Applicants interested in the positions should submit their application online at selecting option 5 - PhD Student and reference code 2019-05-phd-clip. Deadline for applications is July 15th, 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.