coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc Position in Distributed Systems/Verification/Coq

From: Ilya Sergey <i.sergey AT ucl.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>
Subject: [Coq-Club] Postdoc Position in Distributed Systems/Verification/Coq
Date: Thu, 17 Nov 2016 21:05:25 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=i.sergey AT ucl.ac.uk; spf=None smtp.mailfrom=i.sergey AT ucl.ac.uk; spf=Pass smtp.helo=postmaster AT EUR01-HE1-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:ZC4PKBZGKmQZD9CFHlNAdZr/LSx+4OfEezUN459isYplN5qZpcSybnLW6fgltlLVR4KTs6sC0LuN9fm+EjVbvt7B6ClEK8McEUddyI0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx/KMyvuq9pbPTwJNjTu7KfMufVTl5TnW44MdhpInIaIswDPIpGFJcqJY3ykgcVmUhlP34tq61J9l6SVZ/fw7oYoIG7nrZ6kjCLVeCjM7NWs4zMnqrgXYCxCC72BaT30blBwODgTYplmuQobpvzC/v+x73zScNsDeSbEvRS/k9KpiU1n1kCoBMXg0/HyB2eJqi6cOgRawrlREzpTbbZDdYPs4Za7Hct4LbXdKWoBYXGpcAdXvPMM0E+MdMLMA/MHGrFwUoE7iVAQ=
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:99

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:

http://bit.ly/2f56sS1

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.

Ilya

[Coq-Club] Postdoc Position in Distributed Systems/Verification/Coq, Ilya Sergey, 11/17/2016