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

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