[isabelle] PhD studentship available in Collaborative Theorem Proving

Research studentship in collaborative theorem proving

A studentship is available in the School of Informatics at the University of Edinburgh. This is related to a new initiative aimed at creating a model for interactive, machine-based theorem proving that integrates collaboration as a core concept. Sites like Wikipedia, Stack Overflow and Math Overflow have proven that social web components such as i) commons-based peer production and crowd-sourcing, ii) reputation systems and iii) recommender systems can result in remarkable collaborative productivity. The focus of this studentship will be to work on these aspects in order to help harness this productivity and establish collaborative theorem proving as the 'social machine' of ITP, and thus tackle large-scale formal verification tasks.

The PhD research will be supervised by Jacques Fleuriot and require the student to work in collaboration with researchers involved in the newly-funded ProofPeer project (http://www.proofpeer.net), which aims to explore collaborative theorem proving.

Research Environment:

The student will join a diverse, multi-institutional group of academic and research staff plus PhD students interested in the interaction of representation and reasoning, with a special focus on interactive theorem proving and social computing. The student will contribute to various research aspects of the ProofPeer project and its applications.


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 at 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).

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

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