Applications are invited for intern positions at the IMDEA Software Institute in Madrid, Spain. The successful candidates will work under the supervision of Alexey Gotsman on the theoretical foundations and verification of distributed protocols. This includes algorithms, correctness proofs and lower bounds in the areas of blockchains and databases. The particular research topic will be determined based on the common interests of the candidates and the supervisor.
Candidates should have a strong background in computer science or applied mathematics.
The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English.
Internships usually last up to 6 months.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2023-02-intern-distributed. Deadline for applications is March 12th, 2023. Review of applications will begin immediately.
For enquiries about the position, please contact Alexey Gotsman.