[TYPES/announce] PhD positions in PL and distributed systems at IMDEA, Madrid

[Alexey Gotsman]

Applications are invited for multiple PhD positions at the IMDEA Software Institute in Madrid, Spain. 

The students will work with Alexey Gotsman (www.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 the intersection of programming languages/verification and distributed systems. 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 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 at https://careers.imdea.org/software/. Please mention this announcement in the submitted materials.