[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for postdoc positions at the IMDEA Software Institute
in Madrid, Spain. The successful candidates 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 the verification of distributed protocols, theoretical
foundations of blockchains and static analysis of distributed applications.
The positions are funded by an ERC grant "A Rigorous Approach to Consistency in
Cloud Databases". Postdoc positions are initially for one year, with
possibilities for extension. Candidates should have, or expect shortly to
obtain, a PhD in Computer Science, with expertise in distributed computing,
programming languages or verification.
Interested applicants are encouraged to contact Alexey Gotsman with inquiries
(alexey dot gotsman at imdea dot org). Formal applications should be submitted
at https://careers.imdea.org/software/. Please mention this announcement in
your application documents.
