IMDEA initiative

Home > Open Positions

Formalizing Low-level Smart Contracts

Applications are invited to apply for one intern of starting PhD 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 formalize smart contracts running on Blockchains, particularly contracts written in Michelson. For the formalization, we will use the k-framework that has been used to formalize complex programming languages like C and similar low level smart contract languages like the ethereum virtual machine.

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 4 months, with the possibility to continue as a PhD student.

How to apply?

Applicants interested in the position should submit their application at Deadline for applications is September 30th, 2019. Review of applications will begin immediately.

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