Applications are invited for multiple PhD positions at the IMDEA Software Institute in Madrid, Spain. The positions are available for the duration of four years. The students will work with Alexey Gotsman (www.software.imdea.org/~gotsman/). The topic of research will be determined based on the common interests of the candidate and the supervisor. Possible directions 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 these protocols. Students will be 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 the above areas. The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, where researchers can focus on developing new ideas and projects. Salaries at the Institute are internationally competitive. Interested applicants are encouraged to contact Alexey Gotsman with inquiries (alexey dot gotsman at imdea dot org). Formal applications should be submitted at https://careers.imdea.org/software/. Please mention this announcement in the submitted materials.