Apologies for any cross-postings. I have three PhD scholarships available at UCL for strong candidates meeting the various stated criteria. All are described at http://www.cs.ucl.ac.uk/vacancies.html and they may also be found at jobs.ac.uk: Supply Chain Security: http://www.jobs.ac.uk/job/AIG442/phd-studentship/ Access control: models and compliance: http://www.jobs.ac.uk/job/AIG440/phd-studentship/ Algebra and Logic for Policy and Utility in Information Security: http://www.jobs.ac.uk/job/AIG438/phd-studentship/ Succesful candidates will be based in the Programming Principles, Logic, and Verification (PPLV) group and/or the Information Security group. Thank you, David Pym -- Professor of Information, Logic, and Security Head of Programming Principles, Logic, and Verification d.pym@ucl.ac.uk www.cs.ucl.ac.uk/People/D.Pym www.cs.ucl.ac.uk/staff/D.Pym/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]