Accessibility Tools

Job details

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

Job reference: S&E-14530

Location: Oxford Road, Manchester

Closing date (DD/MM/YYYY): 17/02/2020

Salary: £32,816 to £40,322 per annum (according to relevant experience)

Employment type: Fixed Term

Faculty/Organisation: Science and Engineering

Division: Department of Computer Science

Hours Per Week: Full time

Contract Duration: 11 months from commencement of contract

School / Directorate: School of Engineering

A postdoctoral 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, or be about to obtain, a PhD(or equivelant) in a relevant area. 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.

The School of Computer Science is committed to promoting equality and diversity, including the Athena SWAN charter for promoting women’s careers in STEMM subjects (science, technology, engineering, mathematics and medicine) in higher education. The School holds a Bronze Award for their commitment to the representation of women in the workplace and we particularly welcome applications from women for this post. The appointment will always be made on merit. For further information, please visit:

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

Enquiries about vacancy shortlisting and interviews:
Name: Giles Reger
General enquiries:
Tel:  0161 275 4499
Technical support:
Tel:  0161 850 2004

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


The closing date for this job has now passed.