Applications are invited for a postdoc position at the IMDEA Software Institute in Madrid, Spain. The successful candidate will work under the supervision of Alexey Gotsman (https://software.imdea.org/~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. The postdoc will be 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 distributed systems or distributed computing theory. Positions are initially for one year, with possibilities for extension. Salaries at IMDEA 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 your research statement.