Research Associate in First-Order Theorem Proving for Theories

Job Reference : S&E-14530
Location : Oxford Road, Manchester
Closing Date (DD-MM-YYYY) : 07/12/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:  http://www.manchester.ac.uk/connect/jobs/equality-diversity/awards/athena-swan/

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
Email: giles.reger@manchester.ac.uk
General enquiries:
Email: hrservices@manchester.ac.uk
Tel:  0161 275 4499
Technical support:
Email: universityofmanchester@helpmeapply.co.uk
Tel:  0161 850 2004

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