Research Associate in First-Order Theorem Proving for Theories

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

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

Further Particulars


This position is now closed. We are no longer accepting applications for this position.