From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=NO_REAL_NAME autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 0C24DBBAF for ; Fri, 5 Dec 2008 11:38:47 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsABAJOTOEmjAQKjkWdsb2JhbACMQgGFdoEYAQEBAQkLCgcRBbsXgwU X-IronPort-AV: E=Sophos;i="4.33,720,1220220000"; d="scan'208";a="18024834" Received: from relay5.mail.ox.ac.uk ([163.1.2.163]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Dec 2008 11:38:46 +0100 Received: from mail.comlab.ox.ac.uk ([129.67.151.64]) by relay5.mail.ox.ac.uk with esmtp (Exim 4.69) (envelope-from ) id 1L8Y58-00042u-HF for caml-list@yquem.inria.fr; Fri, 05 Dec 2008 10:38:46 +0000 Received: from merc2.comlab.ox.ac.uk ([129.67.151.55]:65378) by mail.comlab.ox.ac.uk with esmtp (Exim 4.50) id 1L8Y58-0003qU-41 for caml-list@yquem.inria.fr; Fri, 05 Dec 2008 10:38:46 +0000 Received: (from ianh@localhost) by merc2.comlab.ox.ac.uk (comlab5.1/8.13.8+Sun) id mB5AcjoW002589 for caml-list@yquem.inria.fr; Fri, 5 Dec 2008 10:38:45 GMT Date: Fri, 5 Dec 2008 10:38:45 GMT From: Ian.Horrocks@comlab.ox.ac.uk Message-Id: <200812051038.mB5AcjoW002589@merc2.comlab.ox.ac.uk> To: caml-list@yquem.inria.fr subject: Research Position on HermiT project at Oxford University Computing Laboratory MIME-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by merc2.comlab.ox.ac.uk id mB5AcjoW002589 X-Spam: no; 0.00; renowned:98 prospective:03 boris:04 boris:04 logic:04 ian:04 ian:04 workshops:05 problem:05 computing:05 computing:05 laboratory:06 laboratory:06 oxford:06 oxford:06 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 assist= ant to work in the area of logic based knowledge representation and reaso= ning. The post is funded by EPSRC as part of the HermiT project, and is a= vailable immediately until May 2011. The objectives of the project are to= develop reasoning services that will allow for the successful applicatio= n 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 g= roup [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 atten= ding international conferences and workshops. The post is available immed= iately and is a fixed term appointment until May 2011. It will have a sal= ary on the University grade 7 scale (currently =A328,839 to =A335,469 pa = [check]); includes membership of USS; will have an annual leave entitleme= nt of 38 days per year (inclusive of all public holidays and university c= losed periods). Further details of the posts, including the selection criteria and method= of application are available from . Prospective candidates are also welc= ome to contact Dr Boris Motik (boris.motik@comlab.ox.ac.uk) or Prof Ian H= orrocks (ian.horrocks@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@comlab.ox.ac.uk Web: http://www.comlab.ox.ac.uk/people/ian.horrocks/