PhD positions in agent verification

[nza at Cs.Nott.AC.UK]

Two PhD positions

Applications are invited for two 3-year PhD positions
in the project `Verifying requirements for resource-bounded
agents.' The aim of the project is to define epistemic
logics, computational models and automated verification
tools for the representation, specification and verification
of resource-bounded agents (agents with limited memory and
communication bandwith whose reasoning takes time). The
students will be based at the School of Computer Science
and IT, University of Nottingham (UK) supervised by Natasha
Alechina and Brian Logan, but will also spend several
months at the ITC-irst in Trento (Italy) working with
Piergiorgio Bertoli, Chiara Ghidini and Luciano Serafini.
Successful candidates should have a background in logic
and/or planning. Please address preliminary inquiries to
Natasha Alechina (nza(at)cs.nott.ac.uk). Application
deadline is the 29th of January 2007.
                                                                                
For more information, see http://www.cs.nott.ac.uk/~nza/trento-epsrc.html


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.