Back to search results

Research Associate in Automatic Theorem Proving (Fixed Term)

University of Cambridge - Department of Pure Mathematics and Mathematical Statistics

Location: Cambridge
Salary: £34,308 to £42,155 per annum
Hours: Full Time
Contract Type: Fixed-Term/Contract
Placed On: 2nd February 2023
Closes: 26th February 2023
Job Ref: LF35212

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.

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.

The University actively supports equality, diversity and inclusion and encourages applications from all sections of society. 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.

We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

Job tools
 

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Ok Ok

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Manage your job alerts Manage your job alerts

Account Verification Missing

In order to create multiple job alerts, you must first verify your email address to complete your account creation

Request verification email Request verification email

jobs.ac.uk Account Required

In order to create multiple alerts, you must create a jobs.ac.uk jobseeker account

Create Account Create Account

Alert Creation Failed

Unfortunately, your account is currently blocked. Please login to unblock your account.

Email Address Blocked

We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below.

Max Alerts Reached

A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert

Manage your job alerts Manage your job alerts

Creation Failed

Unfortunately, your alert was not created at this time. Please try again.

Ok Ok

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

 
 
More jobs from University of Cambridge

Show all jobs for this employer …

More jobs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge