PhD positions in "Verifying requirements for resource-bounded
agents" at Nottingham, UK. and Trento, Italy

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