Postdoc, PhD student and Intern Positions

Applications are invited for postdoc, PhD student and intern 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".

Postdoc 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. PhD student or intern candidates should have a strong background in computer science or applied mathematics, with an interest in one of the above areas. Postdoc positions are initially for one year, with possibilities for extension. PhD student positions are for four years. Internships usually last several months and are often a stepping stone towards a PhD.

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 with inquiries. Formal applications should be submitted here, selecting "Open Call" as the reference code. Please mention this announcement in your application documents.