Postdoc candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in one of the following areas: distributed systems, distributed computing theory, 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. Salaries at IMDEA are internationally competitive.
Interested applicants are encouraged to contact Alexey Gotsman with inquiries. Formal applications should be submitted here. Please mention this announcement in your application documents.