The IMDEA Software Institute (Madrid, Spain) invites applications for one research internship in the area of Language Theory. The successful candidate will join the formal languages & verification group led by Prof. Pierre Ganty to extend our framework for language inclusion to the case of timed languages.
Applicants should be BSc or MSc in computer science, mathematics or a related discipline. Strong knowledge of langugage / automata theory and timed automata are required. Familiarity with abstract interpretation will be considered as a plus.
The position is 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 3 months (with some flexibility). The ideal starting period is from May 2019.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2019-03-intern-timedwqo. Deadline for applications is March 22, 2019. Review of applications will begin immediately.
For enquiries about the position, please contact: Pierre Ganty,