[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for a postdoc position at the IMDEA Software Institute
in Madrid, Spain. The successful candidate will work under the supervision of
Alexey Gotsman
(https://urldefense.com/v3/__https://software.imdea.org/*gotsman/__;fg!!IBzWLUs!FJLHfUxN51laoXQiqq-QhAhDmnBJIj0hzQBw9R8QsnzIKzbhyt_IeWDpvsBYPfa3cjR0s_7Ty7ptNA$
), 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://urldefense.com/v3/__https://careers.software.imdea.org/using__;!!IBzWLUs!FJLHfUxN51laoXQiqq-QhAhDmnBJIj0hzQBw9R8QsnzIKzbhyt_IeWDpvsBYPfa3cjR0s_6IkkGLyQ$
reference code 2021-11-postdoc-distributed. The deadline for applications is
January 9th, 2022. For enquiries about the position please contact Alexey
Gotsman
(https://urldefense.com/v3/__https://software.imdea.org/*gotsman/__;fg!!IBzWLUs!FJLHfUxN51laoXQiqq-QhAhDmnBJIj0hzQBw9R8QsnzIKzbhyt_IeWDpvsBYPfa3cjR0s_7Ty7ptNA$
).
