[TYPES/announce] Postdoc and PhD positions at IMDEA, Madrid

[Alexey Gotsman]

Applications are invited for multiple Postdoc and PhD positions at the IMDEA Software Institute in Madrid, Spain. The positions are available for the duration of up to three years (postdocs) or four years (PhD students). The researchers will work with Alexey Gotsman and will be funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases". Possible research topics 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 these protocols.

Postdoc candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in distributed systems or distributed computing theory. PhD student candidates should have a strong background in computer science or applied mathematics, with an interest in programming languages and verification and/or distributed systems.

The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, where researchers can focus on developing new ideas and projects. Salaries at the Institute 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.