[TYPES/announce] Two PhD positions in verification at UCL

[Ilya Sergey]

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:

https://www.prism.ucl.ac.uk/#!/?project=193
https://www.prism.ucl.ac.uk/#!/?project=194

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160801/e66db804/attachment.html>