[isabelle] PhD Studentship at De Montfort University

Prov-E-Voting: computer-assisted formal analysis of electronic voting protocols.
Computer Security and Trust group, STRL, Faculty of Technology, De Montfort University, Leicester.


Applications are invited for a PhD research studentship within the Faculty of Technology, De Montfort University, Leicester.	The project will combine for the first time the use of a theorem prover, such as Isabelle, for the specification of electronic voting protocols and the verification of their security goals. It will benefit from close collaboration with Cambridge University and the University of Luxembourg.

This research opportunity is one of over 15 scholarships funded by De Montfort University in 2010-11 to build on our excellent achievements in RAE 2008, to develop our research capacity into new and evolving areas of study and to consolidate our national and international research partnerships. Applications are invited from citizens of UK or EU who should have a good first degree (First Class, Upper Second Class or equivalent) in a relevant subject and, in particular, sufficient acquaintance with formal logic, computer-assisted formal methods and computer security. Doctoral studentships are available for up to 3 years full-time study starting October 2010 and provide a bursary of £13,500pa in addition to all university tuition fees.

Applicants are requested to contact the Faculty Research Office to receive an admission pack. Each application must outline how the applicant intends to pursue research in formal analysis of electronic voting protocols using a theorem prover. Each application must also be accompanied by a full CV and two supporting reference letters. Please email Lindsey Trent: lrtrent at dmu.ac.uk to receive further details.

Please quote ref: DMU Studentships 2010

CLOSING DATE : Friday 16th April 2010

[Via G Bella]

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.