Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007.
Before becoming a Reader in Mathematical Logic at the University of Oxford, he held the position of Fielden Chair of Pure Mathematics at the University of Manchester in 2007.