[Tccc] PhD Position (Deadline 5th August)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

PhD Position in

"Prov-E-Voting: computer-assisted formal analysis of electronic
voting protocols."

Computer Security and Trust group, STRL, Faculty of Technology,
De Montfort University, Leicester, United Kingdom.

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.

Please email Giampaolo Bella: giamp@dmu.ac.uk for
an expression of interest or to receive further
details.

Applicants are then 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 quote ref: DMU Studentships 2010

Deadline for expression of interest: 5 August 2010

- --
Dr. Helge Janicke Software Technology Research Laboratory
Faculty of Technology
E: heljanic@dmu.ac.uk De Montfort University
P: ++44 (0) 116 257 7617 Bede Island 1.16
W: www.tech.dmu.ac.uk/~heljanic LE1 9BH Leicester, UK

http://www.google.com/calendar/embed?src=heljanic%40gmail.com
PGP: 3D3C ED3F 619D 1977 06A1 6F1C 0694 861A F053 8A1D
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkxRj1UACgkQBpSGGvBTih3YqACeKmN+JTV4f05+jS/ITWkj0r1J
necAn0/dY6W+ZMqiCjiEKru/mwE++PV/
=bL9U
-----END PGP SIGNATURE-----
_______________________________________________
Tccc mailing list
Tccc@lists.cs.columbia.edu
https://lists.cs.columbia.edu/cucslists/listinfo/tccc