[Top] [All Lists]

[ontolog-forum] Position open for modularizing/structuring axiomatized o

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John A. Bateman" <bateman@xxxxxxxxxxxxx>
Date: Sat, 11 Nov 2006 22:39:35 +0100
Message-id: <45564317.4030405@xxxxxxxxxxxxx>
Bremen University, Germany.
SFB/TR8: www.sfbtr8.uni-bremen.de    (01)

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)    (02)

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.    (03)

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.    (04)

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    (05)

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.    (06)

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.    (07)

Please address questions about the position and send your application
(preferably by email) to:
Dr. Till Mossakowski <tm@xxxxxxxxxxxxxxxxxxxx> SFB/TR 8 - Spatial
Cognition Universität Bremen P.O. Box 330 440
28334 Bremen / Germany    (08)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (09)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] Position open for modularizing/structuring axiomatized ontologies (apologies for cross-postings), John A. Bateman <=