Logic List Mailing Archive

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

PhD in AI for Formal Methods available at Edinburgh
http://www.inf.ed.ac.uk/postgraduate/phd.html

Dear colleague,

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,

Alan Bundy
-- 
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.