Postdoc position in distributed computing at IMDEA, Madrid, Spain

Applications are invited for a postdoctoral position at the IMDEA Software Institute in Madrid, Spain. The successful candidate will work under the supervision of Alexey Gotsman (https://software.imdea.org/~gotsman/), with research topics determined based on the common interests of the candidate and the supervisor. Possible areas include blockchains and distributed transaction processing. This covers algorithms, correctness proofs, and system engineering.

Candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in distributed computing theory, distributed systems or formal methods. The position is initially for one year, with possibilities for extension. The starting date is negotiable. The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive salary. The working language at the institute is English.

Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2023-09-postdoc-distributed. The deadline for applications is October 31st, 2023. For enquiries about the position, please contact Alexey Gotsman (https://software.imdea.org/~gotsman/).