Job: position open for modularizing/structuring axiomatized ontologies, Bremen University, Germany

[Thierry Hamon]

Date: Sat, 11 Nov 2006 13:26:11 +0100
From: "John A. Bateman" <bateman at uni-bremen.de>
Message-ID: <4555C163.3050803 at uni-bremen.de>
X-url: http://www.ontospace.uni-bremen.de


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. euro 35,000 to euro 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


-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------