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, 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".
Candidates should have a strong background in computer science or applied mathematics, with an interest in one of the above areas.
Internships usually last 4-6 months and are often a stepping stone towards PhD studies.
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/intern/2019-09-intern-distributed/.