Logic List Mailing Archive

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

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/