IMDEA Software

IMDEA initiative

Home > Open Positions

Postdoc position in theory and practice of distributed systems

Applications are invited for postdoc positions at the IMDEA Software Institute in Madrid, Spain. The successful candidates will work under the supervision of Alexey Gotsman, with research topics determined based on the common interests of the candidate and the supervisor. Possible areas include the design, verification and implementation of protocols for consensus, eventual consistency/CRDTs, distributed transaction processing and blockchains, as well as static analysis of applications using such protocols. The positions are funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases".

Who should apply?

Candidates should have, or expect shortly to obtain, a PhD in computer science, with expertise in one of the following areas: distributed computing theory, distributed systems, programming languages or verification.

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.


Postdoc positions are initially for one year, with possibilities for extension.

How to apply?

Applicants interested in the position should submit their application at using reference code 2019-11-postdoc-distributed. Deadline for applications is November 17th, 2019. Review of applications will begin immediately.

For enquiries about the position, please contact Alexey Gotsman directly.