[TYPES/announce] PhD opportunities at the University of Edinburgh
james.cheney at gmail.com
Wed Nov 21 13:24:20 EST 2012
I am recruiting for at least one funded PhD studentship at the University
of Edinburgh, working with me on one of the following topics (with further
details given at the associated links).
* Nominal logic, automated reasoning and type theory (
* Provenance, programming languages, and security (
* XML query/update languages and static analysis (
* Provenance, curation, and archiving for scientific data (
Projects in other areas related to programming languages, data management,
or their intersection are also possible; prospective applicants are
encouraged to contact James Cheney (jcheney at inf.ed.ac.uk), Stratis Viglas (
sviglas at inf.ed.ac.uk), Peter Buneman (opb at inf.ed.ac.uk) or Paul Anderson (
dcspaul at ed.ac.uk) to discuss potential project ideas. Possible research
topics with others in LFCS are listed at
http://wcms.inf.ed.ac.uk/lfcs/study/research-topics along with contact
information for prospective supervisors.
Available funding can cover full fees and a stipend for a 3-year PhD
project for a student from the UK or EU. Additional studentships on
similar terms may be available contingent on funding decisions. For
students from other countries, the School provides assistance identifying
and applying for appropriate sources of funding to cover additional
To apply, please follow the instructions at:
and apply to the LFCS PhD program (or just jump directly to
The first deadline for applications is *December 14*; applications received
by this date will receive full consideration for available funding
sources. Please get in touch early in case of questions about the
application process, project ideas or study in the UK or Edinburgh.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce