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