Applications are invited for a PhD studentship at the School of Computer
Science and IT, University of Nottingham, UK, to work on an EPSRC funded
project "Efficient Fragments of Transitive Closure Logic" (principal
investigator Dr. Natasha Alechina). Full funding is available for British/EU
applicants only; however it may be possible to find additional funding for
an exceptional non-EU candidate.
The studentship is available as soon as possible (has to be filled before
the 1st of March 2001) for three years. Possible PhD topics include model
checking, descriptive complexity, "guarded quantification" and graph query
languages.
Applicants should have a good background in logic; knowledge of database query
languages or complexity theory would be an advantage.
For more information on the project and informal enquiries, please contact
Natasha Alechina
School of CS & IT
University of Nottingham
Nottingham NG8 1BB, UK
email [log in to unmask]
http://www.cs.nott.ac.uk/~nza
telephone +44 115 9514233
|