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.