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