Research Associate in First-Order Theorem Proving for Theories

University Of Manchester

United Kingdom

Research Associate in First-Order Theorem Proving for Theories

Job Reference : S&E-14530

Location : Oxford Road, Manchester

Closing Date (DD-MM-YYYY) : 07/10/2019

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

Employment Type : Fixed Term

Faculty / Organisational Unit : Science & Engineering

Division : Department of Computer Science

Hours Per week : Full time

Contract Duration : 11 months from commencement of contract

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

In your application, please refer to


amsterdam uni

antwerp uni

cambridge uni

florida uni

hamburg uni

harvard uni

hiroshima uni

oslo uni

purdue uni

ryerson uni

shanghai jiao tong uni

stockholm uni