chair in tcs


The Technische Universitaet Muenchen invites applications for a Chair (C4)
in the Faculty of Computer Science. This chair is representing theoretical
computer science in research and education, together with other chairs. Its
focus shall be on languages and description methods, in particular on
programming and document description languages.

Special emphasis shall be put on developing and investigating some of the
following topics:
+ new concepts for specification or programming,
+ development of specification or programming languages,
+ user interfaces,
+ compiler construction,
+ programming language semantics,
+ programm correctnes checking and verification,
+ logic calculi.

Teaching duties include participation in the regular undergraduate and
graduate computer science curriculum.

Besides a proven track record of outstanding and original research work,
candidates must have an earned doctorate with habilitation or equivalent
scientific expertise (which might have been acquired outside of Germany or
outside of academia), and they must demonstrate strong pedagogic skills.

At the time of appointment, candidates must not be older than 52 years of age.
The Technische Universitaet Muenchen is committed to increase the
proportion of women in research and teaching. Applications from suitably
qualified women are actively encouraged.

A letter of application, curriculum vitae, list of publications, references
and certificates should be sent by
August 20, 20001
to Dekanat Fakultaet fuer Informatik, Technische Universitaet Muenchen,
D-80290 Muenchen, Germany

At http://www.tu-muenchen.de further information about the Technische
Universitaet Muenchen is available via the Internet.