30 May 2022

Research Associate in Automatic Theorem Proving

Salary: 33,309 GBP – 40,927 GBP per annum

Limit of tenure: Up to 3 years in the first instance

Closing date: 30 May 2022

*****
A position exists for a post-doctoral research associate in the Department of Pure Mathematics and Mathematical Statistics to join a team to work with Professor Timothy Gowers on an automatic theorem proving project, the focus of which will be to understand and emulate how human mathematicians find proofs. Details about the project can be found in the following document, which potential applicants should read before applying.
https://drive.google.com/file/d/1-FFa6nMVg18m1zPtoAQrFalwpx2YaGK4/view?usp=sharing

The main formal duty will be to attend regular research meetings (approximately twice a week) and to engage in full-time research on the project. At the meetings, theoretical questions will be discussed and algorithms will be designed. The role holder will be expected to participate in both aspects of the project, and to interact well with other team members. You may also be asked to assist in the supervision of student projects, the development of student research skills and to provide instruction or plan/deliver seminars relating to the project.

The successful candidate will have a strong Mathematical background, a PhD in Mathematics and experience in programming is highly desirable.

Further information, including instructions on how to apply, can be found at: https://www.jobs.cam.ac.uk/job/34969/

The University values diversity and is committed to equality of opportunity. We particularly welcome applications from women and /or candidates from a BME background for this vacancy as they are currently under-represented at this level in our department.
The University has a responsibility to ensure that all employees are eligible to live and work in the UK.