PhD positions in distributed computing/formal methods at IMDEA, Madrid, Spain

Applications are invited for fully funded PhD student positions at the IMDEA Software Institute in Madrid, Spain. The successful candidates will work under the supervision of Alexey Gotsman on the design, verification and implementation of distributed protocols. The particular research topic will be determined based on the common interests of the candidate and the supervisor, and can be either theoretical or practical. Possible areas include blockchains and transaction processing systems.

The positions are intended to last for the duration of the doctoral studies, which is usually four years. Candidates should have a strong background in computer science or applied mathematics.

The IMDEA Software Institute is located in the vibrant city of Madrid, Spain. It offers an ideal working environment, where researchers can focus on developing new ideas and projects. The working language at the institute is English; the knowledge of Spanish is not required. The PhD positions come with an internationally competitive stipend and support for research-related travel.

Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2024-05-phd-distributed. The deadline for applications is July 31st, 2024. Review of applications will begin immediately.