Call for PhD and Post PhD Grant Applications

Dear colleagues (and list subscribers):

Two grant positions are announced below.  Please forward this 
e-mail to other interested parties who might wish to apply. 


      Call for PhD and Post PhD Grant Applications

The PhD School (Graduiertenkolleg) ``Logik in der Informatik'' at 
Munich invites qualified individuals for one PhD and one Post-PhD 
grant starting as soon as possible.  The PhD grant is limited for 
up to three years, the Post-PhD for up to two years.

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

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

The 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,
   Hofmann, Kröger, Nipkow, Schulz, Schwichtenberg)

 * Theorem provers using (higher order) equational theories,
   combination of theorem provers with special techniques, applications
   for knowledge processing. (Bry, Buchholz, Nipkow, Ohlbach, Schulz,

 * Modelling knowledge-based and distributed systems, model checking.
   (Broy, Bry, Büttner, Hofmann, Kröger, Wirsing)

 * Semantics and logic for programs and programming languages, 
   particularly resource management and object-oriented programming.
   (Broy, Hofmann, Kröger, Nipkow, Wirsing)

 * Foundations of software-engineering, modularisation and reuse of
   programs, use of calculi for design and optimisation of programs,
   program systems and circuits. (Broy, Büttner, Wirsing)

 * Applications, realisations and practicability studies, 
   particularly in the domain of paradigms of logical programming.
   (Broy, Bry, Hofmann, Ohlbach, Wirsing) 

Applications should contain: Curriculum vitae, a copy of the 
Diploma/Master or PhD thesis respectively, scientific publications, 
description of a research project, and advisory reports from two 
university teachers.

Please send your application to
   Logik in der Informatik
   Mathematisches Institut der
   Theresienstr. 39
   80333 München
Further information can be obtained from
   Prof. Dr. Helmut Schwichtenberg
   Tel: +49 89 2180 4413
   Fax: +49 89 2180 4038

and from the website