The research project I1-[OntoSpace] 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.