[Haskell] Research position in spatial cogntion (Haskell-related)

[Till Mossakowski]

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 at 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 at tzi.de
D-28359 Bremen      Room 2.051   http://www.tzi.de/~till