--- apologies for multiple postings ---
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".
I would be very grateful if you could encourage any suitable students who you think might be interested in applying for this PhD.
Here are some links:
* A description of the proposed PhD project: http://wcms.inf.ed.ac.uk/pgrguide/prospectus/projects-container/the-productive-use-of-failure-in-formal-methods
* The web page for the AI4FM project: http://www.ai4fm.cs.ncl.ac.uk/
* Our School's PhD application page: http://www.inf.ed.ac.uk/postgraduate/phd.html
Thanks in advance and kind regards,
-- Postal Address: School of Informatics, University of Edinburgh, Room 2.15, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Telephone Number: +44-131-650-2716, Fax Number: +44-131-650-6899, Email: A.Bundy@ed.ac.uk. Web Page: http://homepages.inf.ed.ac.uk/bundy/
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.