Postdoc positions in verification 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 candidates should have, or expect shortly to obtain, a PhD in computer science, with expertise in distributed computing theory, programming languages or verification. Positions are initially for one year, with possibilities for extension.

The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers a dynamic and international working environment, where researchers can focus on developing new ideas and projects. The working language at the institute is English, and salaries are internationally competitive.

Interested applicants are encouraged to contact Alexey Gotsman (https://software.imdea.org/~gotsman/) with inquiries. Formal applications should be submitted at https://careers.software.imdea.org/. Please mention this announcement in your application documents.