IMDEA Software

IMDEA initiative

Home > Open Positions

Reasoning about Smart Contrat Multiexecutions

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 formal reasoning of smart contracts running on Blockchains, particularly contracts in the Tezos infrastructure (and in the Ligo high-level family of languages). Where previous efforts on the analysis and verification of smart contracts consider one method invocation at a time, the work in this internship is to extend the perspective to reason about the powers and capabilities of the agents involved in the execution of smart contracts.

Who should apply?

Candidates should have an MSc or BSc degree (or be close to complete one) 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 up to 6 months. It is possible to continue working towards a PhD in a related topic at the end of the internship.

How to apply?

Applicants interested in the position should submit their application at using reference code 2020-04-intern-multismart. Deadline for applications is June 1st, 2020. Review of applications will begin immediately.

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