Logic List Mailing Archive

Three postdoctoral research assistant positions, Oxford (U.K.), Deadline: 22 Oct 2010

OXFORD UNIVERSITY COMPUTING LABORATORY
INFORMATION SYSTEMS GROUP
POST-DOCTORIAL RESEARCH ASSISTANT POSTS

The Computing Laboratory has a vacancy for three postdoctoral research 
assistants to work in the Information Systems Group. The posts are funded 
by EPSRC as part of the LogMap project (1 post) and ExODA project (2 
posts) - see http://www.comlab.ox.ac.uk/projects/LogMap/ and 
http://web.comlab.ox.ac.uk/projects/ExODA/ for more information. The posts 
are available immediately and will be of 24 months (for LogMap) or 36 
months (for ExODA) duration.

Applicants should have, or expect shortly to obtain, a PhD in computer 
science or some other relevant discipline, and should have a strong 
background in theoretical computer science. Experience in some or all of 
the following areas would be useful but is not essential: logics and 
automated reasoning; databases and database theory; ontologies and 
ontology languages; knowledge representation. Implementation experience 
would also be useful. The posts will require occasional travel to 
international conferences and workshops.

The successful applicants will join an internationally leading and rapidly 
growing research group led by Professor Georg Gottlob and Professor Ian 
Horrocks - see http://web.comlab.ox.ac.uk/research/is/ - and with more 
than 25 doctoral and post-doctoral researchers working on a range of 
projects in the area of databases and knowledge representation and 
reasoning.

Further particulars, including details of how to apply, are available from 
http://www.comlab.ox.ac.uk/news/documents/info-syst-posts-fps.pdf

The closing date for applications is 22nd October 2010.