PhD student position in AI for Formal Methods, Edinburgh (Scotland)

The mathematical reasoning research group in the School of Informatics at the University of Edinburgh is advertising for a PhD funded by the EPSRC project "AI4FM: Using AI to aid automation of proof search in Formal Methods". The proposed topic of the PhD is "The Productive Use of Failure in Formal Methods".

For more information, see http://wcms.inf.ed.ac.uk/pgrguide/prospectus/projects-container/, the web page for the AI4FM project at http://www.ai4fm.cs.ncl.ac.uk/, and the school's PhD application page at http://www.inf.ed.ac.uk/postgraduate/phd.html