IMDEA Software

IMDEA initiative

Home > Open Positions

Postdoc position on correctness and cost analysis of smart contracts

Applications are invited for a postdoctoral position at the IMDEA Software Institute, Madrid, Spain. The selected candidate will work under the supervision of Niki Vazou on the correctness and cost analysis of smart contracts.

Who should apply?

Candidates should have a PhD degree in computer science, mathematics, or a related discipline, with an interest in functional programming, formal verification, and smart contracts. A strong commitment to research as well as top programming skills 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.


Deadline for applications is July 26th, 2021. Review of applications will begin and be filled immediately.

How to apply?

Applicants interested in the position should submit their application at using reference code 2021-06-postdoc-smart-liquid.

For any questions about these positions, please contact Niki directly (niki dot vazou at imdea dot org).