[ 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 candidates should have, or expect shortly to obtain, a PhD in computer
science, with expertise in programming languages, verification or distributed
computing theory. Positions are initially for one year, with possibilities for
extension.
The IMDEA Software Institute is located in the vibrant area of Madrid, Spain.
It offers a dynamic and international working environment, where researchers
can focus on developing new ideas and projects. The working language at the
institute is English, and salaries are internationally competitive.
Interested applicants are encouraged to contact Alexey Gotsman
(https://software.imdea.org/~gotsman/) with inquiries. Formal applications
should be submitted at https://careers.software.imdea.org/. Please mention this
announcement in your application documents.
