Logic List Mailing Archive
Two PhD student positions in spatial reasoning, Bremen (Germany), Deadline: 3 Dec 2010
OPEN POSITIONS
==============
2 Postgraduate Positions / Junior Researchers
at the Transregional Collaborative Research Center
SFB/TR 8 Spatial Cognition
University of Bremen, University of Freiburg
Project R4-[LogoSpace]
Constraint-based Reasoning in Qualitative Spatio-Temporal Calculi
(* under the condition of job release *)
Project Description
-------------------
Reasoning about space is essential for a wide range of spatial tasks
such as the retrieval of information from spatial knowledge bases, the
reconstruction of information from incomplete data, the navigation in
known or unknown environments, or the manipulation of objects in real
world settings. The project R4-[LogoSpace] develops and evaluates
constraint-based representation formalisms and algorithmic techniques
that are applicable for solving such spatial tasks.
More information on the project can be found at
http://sfbtr8.informatik.uni-freiburg.de/R4LogoSpace/
Qualifications
--------------
Applicants should have expertise in computer science / artificial
intelligence and should hold a master or diploma degree in computer
science, mathematics, or a related field. They should be committed to
interdisciplinary, team-based research and be fluent in spoken and
written English. Strong programming skills in object-oriented and
functional programming languages and/or expertise in geographic
information systems and/or strong mathematical training are
beneficial.
Ideally, an applicant will have background in more than one of the
following areas: knowledge representation and reasoning; complexity
theory; automated theorem proving; mathematical logics; geographic
information systems.
Additional training will be provided on the job.
Main Tasks
----------
* Development and theoretic analysis of formal systems for the
representation of spatial information;
* Design and empirical evaluation of algorithms for reasoning tasks in
such formal systems;
* Application and evaluation of theoretic results in real world
testbeds (e.g., GIS, robotics);
* Preparation of articles for publication in scientific journals and
presentation of research results at international conferences.
If applicable, the successful applicants are expected to work on
obtaining a doctoral degree in the scope of this position.
Conditions of Employment
------------------------
Salary is according to the German Federal pay scale (TV-L 13,
approx. EUR 34,000 p.a.). The positions are available from January
2011 until the end of 2012 with the possibility of extension.
Application deadline: 03/12/2010 (or until a suitable candidate is
found).
One position is available at the University of Bremen, one at the
University of Freiburg. Applicants with a strong preference for one
location should indicate this in their letter of application.
As the Universities of Bremen and Freiburg intend to increase the
proportion of female employees in science, women are particularly
encouraged to apply. In case of equal personal aptitudes and
qualification, disabled persons will be given priority.
How to Apply & What to Do in Case of Questions
----------------------------------------------
Please address questions about the position and send your application
in electronic form (PDF) by email to:
Dr. Stefan Woelfl <woelfl@informatik.uni-freiburg.de>, or:
PD Dr. Till Mossakowski <till@informatik.uni-bremen.de>