IMDEA Software

Iniciativa IMDEA

Inicio > Empleo

PhD positions in theory and practice of distributed systems

Applications are invited for PhD student positions at the IMDEA Software Institute in Madrid, Spain. The successful candidates will work under the supervision of Alexey Gotsman. 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 a strong background in computer science or applied mathematics, with an interest in one of the above areas.


The positions are intended to last for the duration of the doctoral studies, which is usually four years.

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 October 31st, 2019. Review of applications will begin and be filled immediately.

How to apply?

Applicants interested in the position should submit their application at