IMDEA Software

IMDEA initiative

Home > Open Positions

Research Intern in Automata Theory

The IMDEA Software Institute (Madrid, Spain) invites applications for one research internship in the area of Automata Theory.

The successful candidate will work with Pierre Ganty.

The successful candidate will develop algorithms for language inclusion or emptiness problems when the languages are defined as least solution of constrained Horn clauses capturing known automata models like Petri nets; timed, register or alternating automata.

Who should apply?

Applicants should be BSc or MSc in computer science, mathematics or a related discipline. Knowledge of automata theory is required (e.g. finite state automata, context-free grammars, Turing machines). Some familiarity with well-quasi orderings, abstract interpretation or Horn clauses 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.


The internship duration is intended to be for 3 months (with possibility of an extension). The ideal starting period is early Summer of 2021. The work schedule can be adapted to the needs of the selected candidate.

How to apply?

Applicants interested in the position should submit their application at using reference code 2021-03-intern-chc-inclusion. Deadline for applications is April 18th, 2021. Review of applications will begin immediately.

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