IMDEA Software

IMDEA initiative

Home > Open Positions

Postdoc in Automata Theory

The IMDEA Software Institute (Madrid, Spain) invites applications for one research postdoc in the area of Automata Theory. The successful candidate will join the Formal Languages & Verification group led by Pierre Ganty.

Using our in-house abstract interpretation based approach to language inclusion the candidate will make use of the properties families of right congruence to develop new algorithms and thoroughly evaluate their performance on realistic benchmarks.

Who should apply?

Applicants should hold a PhD in computer science. Knowledge of language / automata theory is required. Advanced knowledge of congruence relation and abstract interpretation will be considered a plus.

Working at IMDEA Software

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 12 months. The ideal starting period is from early November 2020.

How to apply?

Applicants interested in the position should submit their application at using reference code 2020-10-postdoc-forc-and-automata. Deadline for applications is October 19th, 2020. Review of applications will begin immediately.

For enquiries about the position, please contact: Pierre Ganty, firstname.lastname (at)