The Maths Department of the Technical University Darmstadt has to fill a position (Professor C3) in the area of Logic and Mathematical Foundations of Computer Science Further information can be obtained from www.mathematik.tu-darmstadt.de/Math-Net/Dekanat/Ausschreibungen/c3_de.html The deadline for application is 26.10.2001. Thomas Streicher