PhD positions in Computer Science – theory and practice of distributed systems, 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. The institute is located on the campus of the Technical University of Madrid (UPM), and the students will be affiliated with the UPM doctoral programme.