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