Research Associate in First-Order Theorem Proving for Theories

The University of Manchester - School of Computer Science

Closing Date : 17/08/2017.
Employment Type : Fixed Term.
Duration : From 01 September 2017 to 31 August 2020.
Faculty / Organisational Unit : Science & Engineering.
School/Directorate : School of Computer Science.
Division : Computer Science - Formal Methods.
Hours Per week : Full Time.
Salary : £34,956 to £38,183 per annum.
Location : Oxford Road, Manchester
Job Reference : S&E-10387.

A Research Associate position is available for an outstanding and ambitious researcher to undertake research in the field of automated reasoning, in particular in first-order theorem proving for theories such as arithmetic or datatypes.

You should have a PhD in a relevant area or equivalent. Furthermore, the position requires expertise in logic and first-order automated reasoning. Knowledge of decision procedures for datatypes, program analysis, SMT-based reasoning and verification, and implementation experience are desirable.

As an equal opportunities employer we welcome applicants from all sections of the community regardless of gender, ethnicity, disability, sexual orientation and transgender status.  All appointments are made on merit.

Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies

Enquiries about the vacancy, shortlisting and interviews:

Name: Professor Andrei Voronkov


Name: Dr Giles Reger


General enquiries:


Tel: 0161 275 4499

Technical support:


Tel: 01565 818 234

This vacancy will close for applications at midnight on the closing date.

Share this job
  Share by Email   Print this job   More sharing options
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:


Northern England