[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Greetings all,
I have several postdoc positions available in my group at School of Computing
of National University of Singapore in the new project CertiChain, funded by
NSOE-TSS. The positions are initially for two years with a possibility of
extension.
The CertiChain project focuses on mechanising safety, liveness, and
probabilistic security properties of distributed protocols, with a specific
focus on Nakamoto-style consensus. I am looking for motivated candidates with a
strong, internationally competitive research track record and research
expertise in:
- distributed systems and consensus protocols
- formal verification using program logics
- mechanised proofs and proof automation
More details on the project can be found by the link below:
https://certichain.github.io
The NUS School of Computing is one of the world-leading departments in the
areas of programming languages, software engineering, distributed systems,
security and privacy. It provides a diverse and welcoming environment. Salaries
at NUS are internationally competitive.
Do not hesitate to get in touch with me if you are interested.
Kind regards,
Ilya
________________________________
Important: This email is confidential and may be privileged. If you are not the
intended recipient, please delete it and notify us immediately; you should not
copy or use it for any purpose, nor disclose its contents to any other person.
Thank you.
