Three PhD Scholarships at UCL

"Pym, David" <[email protected]> Mon, 3 Mar 2014 15:50:45 +0000

Newsgroups	gmane.comp.lang.lambda-prolog
Message-ID	<[email protected]>

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

[email protected]
www.cs.ucl.ac.uk/People/D.Pym
www.cs.ucl.ac.uk/staff/D.Pym/