IMDEA Software

IMDEA initiative

Home > Open Positions

Intern on reactive requirements

Applications are invited to apply for one intern position at the IMDEA Software Institute, Madrid, Spain.

Selected candidates will work under the supervision of César Sánchez.

The topic of the research is to formally reason about requirements from the aerospace and critical embedded software domains. In paricular behavioral requirements based on temporal logic. The analysis of these requirements requires to adapt to reactive systems notions like vacuity and contradiction. Then, to decide these properties on concrete instances one must design algorithms and implement them using synthesis tools or solvers, where scalability is an important issue.

Who should apply?

Candidates should have an excellent MSc or BSc degree in computer science, mathematics, or a related discipline, with an interest in the above area, and a strong commitment to research. Proven top programming skills as well as ability to understand and develop algorithms are required. Good teamwork and communication skills, including excellent spoken and written English are also required.

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 duration of the internship will be 6 months, with possibility to continue as a PhD student.

How to apply?

Applicants interested in the position should submit their application at using reference code 2020-02-intern-reqs. Deadline for applications is February 22nd, 2020.

For enquiries about the position, please contact cesar.sanchez (at)