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 here. Please mention this announcement in your research statement.