The IMDEA Software Institute (Madrid, Spain) invites applications for one research internship in the area of Automata Theory.
The successful candidate will join the Formal Languages & Verification group led by Pierre Ganty.
By leveraging our in-house algorithmic framework for language inclusion and language emptiness problems the candidate will define suitable well-quasi orders on the elements of the language (timed words for one-clock timed automata, words over infinite alphabet for register automata, …). Well-quasi orders have already been studied to solve the inclusion problem for languages of finite or infinite words (over finite alphabet).
Applicants should be BSc or MSc in computer science, mathematics or a related discipline. Some knowledge of language / automata theory are required. Familiarity with well-quasi orders and basics of abstract interpretation will be considered 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. Due to COVID-19, it might be possible to perform the work remotely granted that the situation of the selected candidate allows it.
The internship duration is intended to be for 3 months (with possibility of extension). The ideal starting period is from early November 2020. The work schedule can be adapted to the needs of the selected candidate.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2020-09-intern-wqo-and-automata. Deadline for applications is October 4th, 2020. Review of applications will begin immediately.
For enquiries about the position, please contact Pierre Ganty directly, .
