Postdoc positions in PL and distributed systems at IMDEA, Madrid

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 (https://software.imdea.org/~gotsman/), with research topics determined based on the common interests of the candidate and the supervisor. Possible areas include the verification of distributed protocols, theoretical foundations of blockchains and static analysis of distributed applications. 

The positions are funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases". Postdoc positions are initially for one year, with possibilities for extension. Candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in distributed computing, programming languages or verification.

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 application documents.