英國劍橋大學(xué)2023年招聘博士后職位（自動定理證明）

劍橋大學(xué)（University of Cambridge；勛銜：Cantab），坐落于英國劍橋郡，是一所公立研究型大學(xué)，采用傳統(tǒng)學(xué)院制。學(xué)校是羅素大學(xué)集團成員，全球大學(xué)校長論壇成員，被譽為“金三角名校”和“G5”之一。劍橋大學(xué)是英語世界中第二古老的大學(xué)，前身是一個于1209年成立的學(xué)者協(xié)會。

劍橋大學(xué)是英國羅素大學(xué)集團、全球大學(xué)高研院聯(lián)盟、金三角名校、國際應(yīng)用科技開發(fā)協(xié)作網(wǎng)及劍橋大學(xué)醫(yī)療伙伴聯(lián)盟成員，衍育了科技聚集地“硅沼（Silicon Fen）”。設(shè)八座文理博物館，館藏逾1500萬冊的圖書館系統(tǒng)及全球最古老的出版社——劍橋大學(xué)出版社。

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.

為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標(biāo)題格式：應(yīng)聘職位名稱+姓名+學(xué)歷+專業(yè)+中國博士人才網(wǎng)）