Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD studentship available in Collaborative The...


view this post on Zulip Email Gateway (Aug 19 2022 at 13:32):

From: Jacques Fleuriot <jdf@inf.ed.ac.uk>
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.

Requirements:

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.

Funding:

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


Last updated: Mar 28 2024 at 20:16 UTC