Applications are invited for 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.
Candidates should have a strong background in computer science or applied mathematics.
The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, combining the best aspects of a research center and a university department. Its researchers can focus on developing new ideas and projects in collaboration with world-leading, international faculty, post-docs, and students. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English.
The positions are intended to last for the duration of the doctoral studies, which is usually four years.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2022-12-phd-distributed. Deadline for applications is February 28th, 2023. Review of applications will begin immediately.
For enquiries about the position, please contact Alexey Gotsman.
