coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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>
- Subject: [Coq-Club] Two PhD positions in verification at UCL
- Date: Mon, 1 Aug 2016 10:57:48 +0000
- Authentication-results: mail3-smtp-sop.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-DB5-obe.outbound.protection.outlook.com
- Ironport-phdr: 9a23:ZTdJ3RBDq/8LS3J40oK6UyQJP3N1i/DPJgcQr6AfoPdwSP7zr8bcNUDSrc9gkEXOFd2CrakV06yJ7uu6CCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd+KyZvqnLrjs7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0roGxsvKdr/MlZFK7+Yq4QTLpCDT1gPXp/rJngsgCGRg+S7FMdVH8Xm1xGGV6BpEXmT4/8qW7zsOx6xS+RMOXyTKsoQnK54q5wDgLwhSEBcTM17TeEpNZ3ifd6pAOo7ydy2YHZccnBNbxlc7nScMIyWGFFGM9aETFCVNDvJ7ATBvYMaL4L57L2oEED+EOz
- Spamdiagnosticmetadata: NSPM
- Spamdiagnosticoutput: 1:99
Hello all,
I am seeking to recruit two bright, enthusiastic doctoral students for two related projects on verification of blockchain-based smart contracts.
The projects will build on ideas from interactive theorem proving, certified programming and program verification. Applicants with strong theoretical background and with practical programming expertise (or both) are encouraged to apply.
The students will be based at the University College London, UK and will be members of the Programming Principles, Logic and Verification Group (http://pplv.cs.ucl.ac.uk). The stipend is a tax free lump sum of approximately £16,296 to £17,808 per year, covering fees and living expenses over three years. There is separate funding for computer equipment and conference attendance. The positions will remain open until filled, and screening of candidates will begin on Monday, 19 September 2016. The start date is negotiable.
Further information on the projects, UCL, and detailed instructions on the application process are available by the following links:
Please, pass this on to anyone you think might be interested, and get in touch with me if you would like to discuss these opportunities.
Kind regards.
Ilya
- [Coq-Club] Two PhD positions in verification at UCL, Ilya Sergey, 08/01/2016
Archive powered by MHonArc 2.6.18.