PhD positions in theory and practice of distributed systems at IMDEA, Madrid

Applications are invited for multiple PhD positions at the IMDEA Software Institute in Madrid, Spain. The students will work with Alexey Gotsman (https://software.imdea.org/~gotsman/). The topic of research will be determined based on the common interests of the candidate and the supervisor. The focus area is theory and practice of distributed systems, and in particular, applications of techniques from software verification and programming languages in this area. Students will be funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases". The positions are available for the duration of four years.

Candidates should have a strong background in computer science or applied mathematics, with an interest in the above areas.

The IMDEA Software Institute is a government-funded institute for research in software development technologies. It offers an international 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/. They should include a CV, transcripts of university-level courses taken, and contact details of two referees. Please mention this announcement in the submitted materials.