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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 0156DBBAF for ; Fri, 5 Dec 2008 13:10:26 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsABAKuoOEmBQwGjkWdsb2JhbACMQgGFdoEYAQEBAQkLCgcRBbsNgwU X-IronPort-AV: E=Sophos;i="4.33,721,1220220000"; d="scan'208";a="32233303" Received: from relay4.mail.ox.ac.uk ([129.67.1.163]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Dec 2008 13:10:26 +0100 Received: from mail.comlab.ox.ac.uk ([129.67.151.64]) by relay4.mail.ox.ac.uk with esmtp (Exim 4.69) (envelope-from ) id 1L8ZVq-0006ui-DP for caml-list@yquem.inria.fr; Fri, 05 Dec 2008 12:10:26 +0000 Received: from merc2.comlab.ox.ac.uk ([129.67.151.55]:65464) by mail.comlab.ox.ac.uk with esmtp (Exim 4.50) id 1L8ZVp-00059F-6D for caml-list@yquem.inria.fr; Fri, 05 Dec 2008 12:10:25 +0000 Received: (from ianh@localhost) by merc2.comlab.ox.ac.uk (comlab5.1/8.13.8+Sun) id mB5CAPt3003012 for caml-list@yquem.inria.fr; Fri, 5 Dec 2008 12:10:25 GMT Date: Fri, 5 Dec 2008 12:10:25 GMT From: Ian.Horrocks@comlab.ox.ac.uk Message-Id: <200812051210.mB5CAPt3003012@merc2.comlab.ox.ac.uk> To: caml-list@yquem.inria.fr subject: D.Phil (PhD) Studentship on ConDOR 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 mB5CAPt3003012 X-Spam: no; 0.00; wikipedia:01 wiki:01 2009:98 renowned:98 eligibility:98 prospective:03 ian:04 ian:04 consequence:04 problem:05 computing:05 computing:05 laboratory:06 laboratory:06 oxford:06 OXFORD UNIVERSITY COMPUTING LABORATORY Fully Funded D.Phil (PhD) Studentship Project: ConDOR: Consequence-Driven Ontology Reasoning The Knowledge Representation and Reasoning Group is offering a fully fund= ed D. Phil (PhD) position at Oxford University's Computing Laboratory. Th= e post is funded by EPSRC as part of the ConDOR project [1]. The aim of t= he project is to investigate alternative kinds of "consequence driven" re= asoning procedures for widely used knowledge representation formalisms, i= ncluding the W3C's OWL ontology language [2]. The studentship is fully funded (at EU fees level), and includes a stipen= d of at least =A312,940 per year as well as provision for travel to confe= rences. Students admitted with a start date between 1st January and 1st O= ctober, 2009 will receive a guarantee of 3 years funding. The successful = candidate will join an internationally renowned research group [2] workin= g on a cutting edge research problem in an attractive and stimulating env= ironment within one of the worlds leading universities and computer scien= ce departments [3]. Further details, including eligibility requirements and application are a= vailable from [4]. Prospective candidates are also welcome to contact Dr = Yevgeny Kazakov (yevgeny.kazakov@comlab.ox.ac.uk) or Prof Ian Horrocks (i= an.horrocks@comlab.ox.ac.uk) for further information about the project an= d/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/ConDOR/index.html [2] http://en.wikipedia.org/wiki/Web_Ontology_Language [3] http://web.comlab.ox.ac.uk/ [4] http://web.comlab.ox.ac.uk/news/56-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/