The availability of the posts is contingent upon the final approval by the project sponsor. The projects are expected to start on 1 March 1997. The successful candidates will have a broad knowledge of logic and will be strongly interested in the interconnections between logical and philosophical problems. Additional experience in decision theory is useful for the Konstanz position, whereas basic knowledge of proof theory is desirable for the Tuebingen positions. The initial appointment is for 3 years.
More information is available on request.
This Series will bring to the research community information about the latest developments on the interface between mathematics and computing, especially in the areas of artificial intelligence, combinatorial optimization, computability and complexity, theoretical computer vision. It will focus on research monographs and proceedings of workshops and conferences, aimed at graduate students and professional researchers, and on textbooks, primarily at the senior undergraduate or beginning graduate level.