PhD and Postdoc positions at IMDEA, Madrid

Applications are invited for multiple PhD and Postdoc positions at the IMDEA Software Institute in Madrid, Spain. The positions are available from January 2016 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", which aims to apply formal reasoning techniques to improve the scalability of distributed systems.

Postdoc candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in verification, programming languages or distributed computing/systems. We are open to candidates of either theoretical or practical background. PhD student candidates should have a strong background in computer science or applied mathematics, with an interest in the above-mentioned areas.

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 inquires (alexey dot gotsman at imdea dot org). Formal applications should be submitted over the web: https://careers.imdea.org/software/. Please mention this announcement in your research statement. Review of applications will begin immediately.