[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
9 research assistant positions (most of them TVL 13, approx. € 35,000 to € 50,000 p.a. gross) available, at Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition: Reasoning, Action, Interaction at the Universities of Bremen and Freiburg, Germany The positions are in general concerned with interdisciplinary long-term research in Spatial Cognition. Some of the positions may be of interest to the readers of this list, because formal methods, logic and category theory are used. For details, see http://www.sfbtr8.uni-bremen.de/openpositions.html (in particular, projects I1, I3 and I4) -- 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 [EMAIL PROTECTED] D-28359 Bremen Room 2.051 http://www.tzi.de/~till