[TYPES/announce] Postdoc Position in Distributed Systems/Verification/Coq

Ilya Sergey i.sergey at ucl.ac.uk
Thu Nov 17 16:05:25 EST 2016

The PPLV group at University College London (UCL) has an opening for a
one-year postdoctoral position.

The successful candidate will work on the topic of implementing and
verifying distributed protocols and systems in the Coq proof assistant,
taking part in the research project "Program Logics for Compositional
Specification and Verification of Distributed Systems", funded by Ilya
Sergey's recently-awarded EPSRC First Grant. The project also involves
collaborators from University of Washington, US.

The ideal candidate will have a Ph.D. in Computer Science, general
knowledge of formal methods, and expertise in interactive theorem proving,
with substantial experience in using Coq, Agda, or similar tools.
Candidates should demonstrate strong programming and formal modeling
skills. Previous experience with concurrent or distributed programming is a
considerable plus.

The application deadline is December 8. 2016. The start date is negotiable,
but ideally it should be early in 2017. Here is the official advert with
more details, and the application link:


Please, pass this on to anyone you think might be interested, and get in
touch with me if you have more questions about the position or UCL.

Kind regards.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20161117/792dd7c1/attachment-0001.html>

More information about the Types-announce mailing list