Accessibility Tools

Job details

Research Associate in First-Order Theorem Proving for Theories
Oxford Road, Manchester

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/Organisation: Science and Engineering

Division: Computer Science - Formal Methods

Hours Per Week: Full Time

Contract Duration: From 01 September 2017 to 31 August 2020

School / Directorate: School of Computer Science

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


The closing date for this job has now passed.