A position of a Professor (C3) is advertised at the Department of Mathematics, Darmstadt University of Technology, in the area of Mathematical Foundations of Computer Science. Deadline for Applications: September 3, 1999. For details see http:// www.mathematik.tu-darmstadt.de/Math-Net/Dekanat/Ausschreibungen/c3_de.html Thomas Streicher