[Agda] Research Position on HermiT project at Oxford University Computing Laboratory

[Ian.Horrocks at comlab.ox.ac.uk]

OXFORD UNIVERSITY COMPUTING LABORATORY

Research Assistant Post (Grade 7)

Project: HermiT: Reasoning with Large Ontologies

The Computing Laboratory has a vacancy for a postdoctoral research assistant to work in the area of logic based knowledge representation and reasoning. The post is funded by EPSRC as part of the HermiT project, and is available immediately until May 2011. The objectives of the project are to develop reasoning services that will allow for the successful application of ontology technologies in large scale applications. More information about the project can be found at [1].

The successful candidate will join an internationally renowned research group [2] working on a cutting edge research problem in an attractive and stimulating environment within one of the worlds leading universities and computer science departments [3]; they will be expected to contribute to all aspects of the group's activities, including publishing at and attending international conferences and workshops. The post is available immediately and is a fixed term appointment until May 2011. It will have a salary on the University grade 7 scale (currently £28,839 to £35,469 pa [check]); includes membership of USS; will have an annual leave entitlement of 38 days per year (inclusive of all public holidays and university closed periods).

Further details of the posts, including the selection criteria and method of application are available from . Prospective candidates are also welcome to contact Dr Boris Motik (boris.motik at comlab.ox.ac.uk) or Prof Ian Horrocks (ian.horrocks at comlab.ox.ac.uk) for further information about the project and/or the post.

The closing date for applications is Tuesday 20th January 2009.

Oxford University is and Equal Opportunities Employer.

[1] http://web.comlab.ox.ac.uk/projects/HermiT/index.html
[2] http://web.comlab.ox.ac.uk/activities/knowledge/index.html
[3] http://web.comlab.ox.ac.uk/
[4] http://web.comlab.ox.ac.uk/news/59-full.html

--
Prof Ian Horrocks
Oxford University Computing Laboratory

Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Tel: +44 (0)1865 273939  FAX: +44 (0)1865 273839
Email: ian.horrocks at comlab.ox.ac.uk
Web: http://www.comlab.ox.ac.uk/people/ian.horrocks/