PhD student position in "Algebra and Logic for Policy and Utility in Information Security", London (U.K.)

Prof. David Pym has three PhD scholarships available at UCL, in 'Supply Chain Security', 'Access control: models and compliance' and 'Algebra and Logic for Policy and Utility in Information Security'. Succesful candidates will be based in the Programming Principles, Logic, and Verification (PPLV) group and/or the Information Security group.

The three scholarships are all described at http://www.cs.ucl.ac.uk/vacancies.html. Application Deadline: Tuesday, April 1, 2014.