The IMDEA Software Institute (Madrid, Spain) invites applications for a research internship in the area of Automata Theory and Verification. The successful candidate will work with Pierre Ganty.
The proposed internship consists in studying properties of a new class of finite state automata based on the class of residual automata, a subclass of non-deterministic automata with good learnability properties.
Applicants should be B.Sc. or M.Sc. in computer science, mathematics or a related discipline. Basic knowledge of automata theory is required (e.g. finite state automata, regular expression, …) as well as a strong commitment to research.
Good command of English both spoken and written is also required.
Located in the Montegancedo Science and Technology Park, it perfectly combines the sunny and vibrant city of Madrid with cutting edge research and an inspiring working environment. 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 5 months.
The ideal starting period is early March 2024.
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/ selecting the option Intern and using reference code 2024-02-intern-rfa-ufa. Deadline for applications is March 4th, 2024. Review of applications will begin immediately.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For inquiries about the position, please contact: Pierre Ganty, .
