
英国剑桥大学博士后职位招聘—自动定理证明
Research Associate in Automatic Theorem Proving (Fixed Term)
University of Cambridge
Research Associate in Automatic Theorem Proving (Fixed Term)
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 on the project’s website, which potential applicants are strongly encouraged to explore before applying https: // wtgowers.github.io/human-style-atp/
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, and a PhD in mathematics. Experience in programming is also highly desirable.
Click the ‘Apply’ button below to register an account with our recruitment system (if you have not already) and apply online.
Informal inquiries can be made by contacting Professor Gowers to (wtg10@dpmms.cam.ac.uk).
The closing date for applications is 26 February 2023.
Please indicate the contact details of at least two and up to three academic referees on the online application form and upload a full Curriculum Vitae and a description of any recent activity relevant to the project (not to exceed three pages). Please ensure that at least one of your referees is contactable at any time during the selection process, and is made aware that they will be contacted by the Mathematics HR Office Administrator to request that they upload a reference for you to our Web Recruitment System; and please encourage them to do so promptly.
Start date: to be negotiated with the successful candidate.
Limit of tenure: 2 years in the first instance. Subject to the availability of funding, the post may be renewable for a further year.
If you are shortlisted, Professor Gowers will contact you to arrange an interview.
Please quote reference LF35212 on your application and in any correspondence about this vacancy.