PhD Scholarships in Verifying Requirements for Resource-Bounded Agents

[nza at Cs.Nott.AC.UK]

Applications are invited for two 3-year PhD positions on an EPSRC-funded
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).
                                                                               
The (extended) deadline for applications is the 15th of February 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.