Job announcement at Darmstadt

I want to draw your attention to the following job announcement which might
be of interest to readers of the types mailing list working e.g. in 
formalisation of algebra or typing systems for Computer Algebra.

A full professor position (C4) at the Department of Mathematics at the 
Technical University Darmstadt (Germany) in the field of

                Algebra and Logic

Applicants are expected to have some interest in cooperation with other
departments, in particular Computer Science. A certain fluency in German
language is expected.

More detailed information you can find at


The deadline for applications is 31/05/02.

Thomas Streicher