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 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:
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.
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.
Applicants interested in the positions should submit their application online at https://careers.software.imdea.org/ selecting option 7 - Internship and reference code 2019-05-intern-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 https://cliplab.org 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.