The IMDEA Software Institute (Madrid, Spain) invites applications for a post doctoral position in the area of Automata Theory and Verification. The successful candidate will join the Formal Languages & Verification group led by Pierre Ganty.
By leveraging our in-house algorithmic framework for language inclusion 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 were already successfully applied to solve the inclusion problem for languages of finite or infinite words (over finite alphabet).
For carefully selected cases, the candidate will gather benchmarks, implement and evaluate algorithms resulting from their research.
Applicants should hold a PhD in computer science. A passion for language / automata theory is required. Programming experience 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 postdoc duration is intended to be for 24 months. The ideal starting period is from early January 2021.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2020-11-postdoc-wqo-everywhere. Deadline for applications is November 23rd, 2020. Review of applications will begin immediately.
For enquiries about the position, please contact: Pierre Ganty, firstname.lastname (at) imdea.org.