Research Associate in First-Order Theorem Proving for Theories

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

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

Email: voronkov@cs.man.ac.uk

Name: Dr 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: 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.