- From: John A. Bateman <bateman@uni-bremen.de>
- Date: Sat, 11 Nov 2006 13:26:11 +0100
- CC: "Obrst, Leo J." <lobrst@mitre.org>, acl@opus.cs.columbia.edu, agents@cs.umbc.edu, aiia@dis.uniroma1.it, announce@aosd.net, Bull_I3@univ-tln.fr, cg@cs.uah.edu, CORPORA@HD.UIB.NO, dai-list@mcc.com, daml-all@daml.org, dbitaly@dia.uniroma3.it, digicult <forum@digicult.info>, diglib@infoserv.inist.fr, discussion@agentcities.org, dl@dl.kr.org, eccaiwww@eccai.org, elsnet-list@let.uu.nl, events_calendar@acm.org, fgcscw@uni-koblenz.de, fom@cs.nyu.edu, humanist@Princeton.EDU, ifla-l@infoserv.inist.fr, irlist-editor@acm.org, kaw@swi.psy.uva.nl, linguist@linguistlist.org, ln@cines.fr, malerba@di.uniba.it, ml@ics.uci.edu, ontolog-forum@ontolog.cim3.net, ontology@buffalo.edu, ontology@fipa.org, ontoquery@ruc.dk, ontoweb-list@www1-c703.uibk.ac.at, ontoweb-lt-info@dfki.de, public-sws-ig@w3.org, R.E.LEENES@BSK.UTWENTE.NL, risc@idf.ext.jussieu.fr, semantic-web@w3.org, semanticweb@yahoogroups.com, seweb-list@cs.vu.nl, seweb-list@www1-c703.uibk.ac.at, seworld@cs.colorado.edu, siksleden@cs.ruu.nl, spinn@cst.dk, standard-upper-ontology@IEEE.ORG, sw-ergo@gui-design.de, vki-list@dfki.de, webmaster@aisb.org.uk, WI@aifb.uni-karlsruhe.de, wkwi@seda.sowi.uni-bamberg.de, www-rdf-interest@w3.org, www-rdf-logic@w3.org, www-webont-wg@w3.org
Bremen University, Germany. SFB/TR8: www.sfbtr8.uni-bremen.de 1 Doctoral Research Assistant / Postdoctoral Researcher SFB/TR 8 project I1-[OntoSpace], Universität Bremen (TVL 13, approx. € 35,000 to € 50,000 p.a. gross) The research project I1-[OntoSpace] (Bateman/Mossakowski) employs logical specification languages and tools for constructing and delivering logically consistent ontological submodules for spatial objects, spatial relationships, functional spatial roles (e.g., landmarks) and motion-in-space. The currently announced position is concerned with techniques for the large-scale and heterogeneous structuring of ontology modules, formal foundations for inter-ontology mappings, and integrated reasoning with formally specified ontologies. This in particular means proving intended consequences as well as showing consistency of formal ontologies, applying a variety of tools that are developed elsewhere in the SFB/TR. The applicant should have a degree in computer science or in a related field (diploma, master’s, or Ph.D.). Strong interest in cognitive science research and in interdisciplinary collaboration is expected. Especially, the applicant should have qualifications and/or interests in the following fields: • Ontologies and semantic web • Knowledge representation and reasoning • Formal methods and theorem proving We offer the opportunity to gain research experience in a modern and enthusiastic research environment with strong interdisciplinary and international links. Responsibilities include project work and research, publication of research results, supervision of student projects, participation in the activities of the SFB/TR 8, and contribution to research proposals. The position is available immediately / from January 2007 until the end of 2010. Extension is possible. Application deadline: 01 December 2006 (or until a suitable candidate is found). Universität Bremen is an equal opportunity employer. Women are especially encouraged to apply. Handicapped applicants with equal qualifications will be given preferential treatment. More information about this project can be found at http://www.ontospace.uni-bremen.de. Please address questions about the position and send your application (preferably by email) to: Dr. Till Mossakowski <tm@sfbtr8.uni-bremen.de> SFB/TR 8 - Spatial Cognition Universität Bremen P.O. Box 330 440 28334 Bremen / Germany
Received on Saturday, 11 November 2006 12:26:59 UTC