[Om-announce] PhD in AI for Formal Methods available at Edinburgh

[Alan Bundy]

Dear colleague,

--- apologies for multiple postings ---

// <http://homepages.inf.ed.ac.uk/bundy/research_grants.html#>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 at ed.ac.uk.
Web Page: http://homepages.inf.ed.ac.uk/bundy/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20100303/fc2dcb4d/attachment.htm 
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
Url: http://openmath.org/pipermail/om-announce/attachments/20100303/fc2dcb4d/attachment.txt