PhD Studentships at Knowledge Representation and Reasoning Group, Technical University Dresden, Germany
At the Knowledge Representation and Reasoning Group headed by Prof. Hölldobler at the Faculty of Computer Science of the Technische Universität Dresden, Germany.
The group (www.wv.inf.tu-dresden.de/) coordinates the “European Master’s Program in Computational Logic” (european.computational-logic.org/) and manages the “International Center for Computational Logic” (www.computational-logic.org/index.php). The group’s research orientation is strongly based on logic and formal methods, while the focus lies on the development of methods for knowledge representation and inference as well as on neural-symbolic integration.
The open position is for a Ph.D. Student or Post-Doc. It is available from Aug. 1, 2008 with a duration of 3 years and the possibility of prolongation up to 2 years. The salary is based on E13 TV-L.
