1 Doctoral Research Assistant / Postdoctoral Researcher SFB/TR 8 project I4-[SPIN], Universität Bremen (TVL 13, approx. € 35,000 to € 50,000 p.a. gross) The research project I4-[SPIN] is concerned with classification and formalization of qualitative spatial calculi, relations among these calculi, spatial ontologies, and route graphs. Research tasks include both further development of the mathematical theory, the formalization and verification of critical results (like composition tables) using suitable specification languages and theorem proving tools, as well as further enhancement of these tools. The goal is to obtain both a trustworthy and efficient framework for qualitative spatial reasoning, which is applicable to reasoning tasks occurring in interactive wheelchair and robot navigation. The applicant should have a degree in computer science or in a related field (diploma, master's, or Ph.D.). Strong interest in formal methods and in interdisciplinary collaboration is expected. Especially, the applicant should have qualifications and/or interests in some of the following fields: . Qualitative spatial reasoning . Formal methods and theorem proving . Category theory . Functional programming (Haskell) 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 www.sfbtr8.uni-bremen.de/i4. The Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition: Reasoning, Action, Interaction at the Universities of Bremen and Freiburg, Germany pursues interdisciplinary long-term research in Spatial Cognition. Particular emphasis is given to: . Spatial Reasoning: Knowledge representation, human spatial thinking, computational modeling, diagrammatic reasoning, cognitive and computational complexity, qualitative spatio-temporal calculi; . Action in Space: Cognitive robotics, explorative localization and mapping, robot navigation, human navigation and wayfinding, sensorimotor representations of spatio-temporal structures, embodied cognition; . Communication and Interaction in Space: Formal methods, spatial and linguistic onto¬logies, computational linguistics, environmental cognition, integration of spatial methods. A description of the current research projects of the SFB/TR 8 can be found at www.sfbtr8.uni-bremen.de The SFB/TR 8 is funded by the German Research Foundation (DFG). 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 -- Till Mossakowski Office: Phone +49-421-218-64226 DFKI Lab Bremen Cartesium Fax +49-421-218-9864226 Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 till@tzi.de D-28359 Bremen Room 2.051 http://www.tzi.de/~till