Logic List Mailing Archive

PhD student positions in Foundations of Computer Science, Edinburgh (Scotland), Deadline: 20 Feb 2009 (non-EU)

The Laboratory for Foundations of Computer Science (LFCS), which is part 
of the School of Informatics, University of Edinburgh, UK, invites 
applications from prospective PhD students. The research interests of LFCS 
comprise a large variety of subjects, including, but not limited to

Algorithms,
Algorithmic Game Theory,
Computational Complexity,
Concurrency,
Databases,
Logic,
Programming Languages,
Semantics,
Software Engineering,
Systems biology,
Verification.

For further information on the LFCS please visit
http://www.lfcs.inf.ed.ac.uk/

A list of concrete PhD projects is available at 
http://wcms.inf.ed.ac.uk/pgrguide/prospectus/research-topics/laboratory-for-foundations-of- 
computer-science

In many of these projects there are PhD studentships available, funded, 
e.g., by the Engineering and Physical Sciences Research Council (EPSRC) or 
by the Scottish Informatics and Computer Science Initiative (SICSA).

Applicants are encouraged to contact potential supervisors informally 
before submitting an application to the Informatics Graduate School 
http://www.inf.ed.ac.uk/admin/IGS/

Non-EU applicants should apply by Feb 20 to qualify for an Overseas 
Research Studentship.

Amin Coja-Oghlan