Job announcement at Darmstadt

• To: types@cis.upenn.edu
• Subject: Job announcement at Darmstadt
• From: Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
• Date: Wed, 15 May 2002 11:08:09 +0200 (CEST)

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

    http://www.tu-darmstadt.de/pvw/dez_iii/stellen/kenn103-104.htm

The deadline for applications is 31/05/02.

Thomas Streicher

• Prev: Ph.D. scholarships at the IT University of Copenhagen
• Next: ICALP 2002. Last news
• Index(es):
  • Main
  • Thread