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
Tel: 0161 275 4499
Tel: 01565 818 234
This vacancy will close for applications at midnight on the closing date