Postdoc grant available

                                              G K L I
                                              Postgraduate Programme
                                              Logic in Computer Science

Postdoctoral position available

Within the postgraduate programme "Logic in Computer Science" in
Munich we have a vacant position for a postdoc researcher.  Earliest
start date is September 2000.

The postgraduate school is a joint research programme of the
Ludwig-Maximilians-University, the Technical University and the
Centre for Information and Language Processing in association with the
companies Siemens and BMW.

Participating professors are Manfred Broy, Francois Bry, Wilfried
Buchholz, Wolfram Büttner, Javier Esparza, Fred Kröger, Tobias Nipkow,
Hans-Jürgen Ohlbach, Klaus Schulz, Helmut Schwichtenberg and Martin

Areas of research cover 

- Logical foundations, lambda-calculus, equational logic, temporal
  logic, model checking, logic-based knowledge-representation, minimal
  implication, non-monotonic reasoning (Bry, Buchholz, Büttner,
  Clote, Esparza, Kröger, Nipkow, Schulz, Schwichtenberg)
- Theorem provers, using (higher order) equational theories,
  combination of theorem provers with special techniques, applications,
  knowledge processing (Bry, Buchholz, Clote, Nipkow, Schulz,
- Modelling knowledge-based and distributed systems as well as
  infinite automata (Bry, Broy, Büttner, Esparza, Kröger, Wirsing)
- Spezification and verification (Broy, Clote, Esparza, Kröger,
  Nipkow, Schwichtenberg, Wirsing)
- Foundations of software-engineering, modularisation and reuse of
  programs, use of calculi for design and optimisation of programs,
  program systems and circuits (Broy, Esparza, Wirsing)
- Applying methods of logic in scheduling problems, bioinformatics
  and in information systems. (All participants)

The research school aims at providing its participants with a solid
background in logical foundations of computer science as well as the
use of logical methods in the applications of theoretical computer

Applications should contain: Curriculum vitae, copy of PhD thesis, a
selection of scientific publications, description of the research
project, advisory reports from two university teachers. Send this
information to
   Logik in der Informatik
   c/o Helmut Schwichtenberg
   Mathematisches Institut der

   Theresienstr. 39
   80333 München

Further information can be obtained from the chairman of the
postgraduate programme

   Prof. Dr. Helmut Schwichtenberg
   Tel. +49 89 2394 4413

and from the website