英国剑桥大学2023年招聘博士后职位（自动定理证明）

英国剑桥大学2023年招聘博士后职位（自动定理证明）

剑桥大学（University of Cambridge；勋衔：Cantab），坐落于英国剑桥郡，是一所公立研究型大学，采用传统学院制。学校是罗素大学集团成员，全球大学校长论坛成员，被誉为“金三角名校”和“G5”之一。剑桥大学是英语世界中第二古老的大学，前身是一个于1209年成立的学者协会。

剑桥大学是英国罗素大学集团、全球大学高研院联盟、金三角名校、国际应用科技开发协作网及剑桥大学医疗伙伴联盟成员，衍育了科技聚集地“硅沼（Silicon Fen）”。设八座文理博物馆，馆藏逾1500万册的图书馆系统及全球最古老的出版社――剑桥大学出版社。

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.