[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] PhD in AI for Formal Methods available at Edinburgh

Dear colleague,

--- 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,

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.