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".
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.
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.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/phd/2019-09-phd-distributed/.