[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
