[Prev][Next][Index][Thread]

job announcement



The following job announcement may be of interest to type theorists who
know German well enough to give courses in this language. The description
of the job is comparatively vague but type theory is definitely within the
scope.

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