PhD studentship at the University of Edinburgh 31/01/2014

A fully-funded PhD studentship is available in the School of Informatics at the University of Edinburgh. This is related to ProofPeer, a new initiative aimed at creating a model for interactive, machine-based theorem proving that integrates collaboration as a core concept.

Applicants should have a strong background in logical and mathematical aspects of computer science, strong programming skills and an interest in machine learning. A relevant first degree, for example in Informatics, Computer Science, Software Engineering, Artificial Intelligence or Mathematics is also expected. Full funding of fees and maintenance is available for UK-fundable students, i.e., either UK nationals or EU nationals who have been resident in the UK for 3 years.

Application deadline: 21st February 2014.
Expected start date: September 2014.

Please send informal inquiries to Jacques Fleuriot (jdf@inf.ed.ac.uk). Formal applications must follow the School of Informatics PhD application process, which is detailed at http://www.ed.ac.uk/schools-departments/informatics/postgraduate/apply/overview. Applicants should select the PhD programme Informatics: CISA: Centre for Intelligent Systems & their Applications (CISA).