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.