Postdoctoral position in automated reasoning, Manchester (England)

A Research Associate (postdoctoral) 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. The position is initially for 11 months with the chance of extension. You will be working in the automated reasoning group at the University of Manchester and contributing to the Vampire theorem prover.

The position is suitable for a person who has just obtained, or is about to obtain, a PhD in a relevant area or equivalent, as well as those with more experience. The position requires expertise in logic and first-order automated reasoning. Knowledge of decision procedures for datatypes, program analysis, SMT-based reasoning and verification, or implementation experience are desirable.