Position in Munich, Germany


C1 position in Theoretical Computer Science is available
at the University of Munich (Ludwig-Maximilians-Universitaet Muenchen)
with starting date July 1, 1997. Initial contract for period up to
3 years, with a possibility of extension thereafter for 
another 3 years [2 years in case of doctoral students].

Salary is according to the german scale A13 or C1 (68.000 - 82.500 DM
p.a. before tax). Applicants with PhD ordinarily receive C1 status (medical
benefits, temporary civil servant status).

Research interests of our current group include 
(a) lambda calculus, type theory, programming logics, semantics of
    programming languages, applications of category theory in computer science.
(b) computational complexity: boolean complexity, complexity of
    higher type functionals, proof length in propositional logic calculi,
    free variable equational calculi, bounded arithmetic.
(c) computational biology: hidden Markov models, protein folding on
    lattice models, applications of constraint programming languages,
    probabilistic analysis.

This C1 position may be filled either by a student wishing to work on
a doctorate or by a post-doctoral researcher wishing to write a
Habilitationsschrift (mandatory requirement for tenured professorship in
Germany). In the latter case, this position is roughly equivalent to that
of an assistant professorship with possibility of teaching or co-teaching
graduate courses in one's research specialty. 

Munich, after Berlin and Hamburg, is Germany's third largest city, and
situated in the scenic pre-Alps. The climate is relatively sunny, and the
city is known for its onion-tower churches, beautiful architecture,
good beer, proximity to Alps (45 minute drive to go hiking), and general
culture. Munich is a scientific/technological center presenting multiple
research opportunities (University of Munich, Technical University of Munich,
Siemens Research, etc.) and has an unusually strong concentration of excellent
researchers in the general area of applications of logic to computer science.
With the Max Planck Institute for Biochemistry, Gene Center of the LMU,
GSF, and strong genetics and biochemistry groups at both universities, 
Munich has one of the best infrastructures for computational biology 
in Germany.

Ability to speak German or at least willingness to quickly learn German
are a requirement for the position.

Interested candidates should send the following if possible by
15 May 1997:
(1) short email
(2) application letter stating research interests,
(3) curriculum vitae
(4) three letters of reference
(5) pertinent reprints or preprints of work
to the following address:

Lehr- und Forschungseinheit fuer Theoretische Informatik
Ludwig-Maximilians-Universitaet Muenchen
Oettingenstrasse 67
D-80538 Muenchen

Email: job@tcs.informatik.uni-muenchen.de

Current researchers in group:
Prof Peter Clote
Dr. Thorsten Altenkirch
Dr. Rolf Backofen