[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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