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, 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.Who should apply?Candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in distributed computing theory, distributed systems or formal methods.DurationThe position is initially for one year, with possibilities for extensions. The starting date is negotiable.Working at IMDEA SoftwareThe 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 positions come with an internationally competitive salary and support for research-related travel.How to apply?Applicants interested in the position should submit their application at https://careers.Software.Imdea.Org/ using reference code 2024-10-postdoc-distributed. Deadline for applications is December 6th, 2024. Review of applications will begin immediately.The recruitment process will comply with the IMDEA Software Institute's OTM-R Policy.For enquiries about the positions, please contact Alexey Gotsman.This position is part of the grant CNS2023-144164, funded by MCIN/AEI/10.13039/501100011033/ and by the European Union "NextGenerationEU"/PRTR#J-18808-Ljbffr