[DL] With apologies for cross-posting: position open for modularizing/structuring axiomatized ontologies

[John A. Bateman]

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 at sfbtr8.uni-bremen.de> SFB/TR 8 - Spatial 
Cognition Universität Bremen P.O. Box 330 440
28334 Bremen / Germany