The Coq mailing list

[Gradkolleg LI <gkli AT mathematik.uni-muenchen.de>]

Dear colleagues (and list subscribers):

One grant position is announced below.  Please forward this 
e-mail to other interested parties who might wish to apply. 

================================================================

----------------------------------------------------------------
      Call for PhD Grant Applications
----------------------------------------------------------------


The PhD School (Graduiertenkolleg) ``Logik in der Informatik'' at 
Munich invites qualified individuals for one PhD grant starting 
as soon as possible. The PhD grant is limited for up to three years.
Closing date is May 31.

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 successful applicant should have some experience, e.g. in the form
of a topical diploma or master thesis, in one of the following areas:

 * Computer-aided theorem proving: model checking, program logics,
   integration of interactive and automatic theorem proving, 
   higher-order syntax.

 * Computational complexity and programming: characterisation of
   complexity classes by logical means or programming formalisms, 
   finite model theory.

 * Program analysis: pointer analysis, automatic cost analysis.

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

Please send your application to
   Graduiertenkolleg
   Logik in der Informatik
   Mathematisches Institut der
   Ludwig-Maximilians-Universität
   Theresienstr. 39
   80333 München
   Germany
 
Further information can be obtained from
   Prof. Dr. Helmut Schwichtenberg
   Tel: +49 89 2180 4413
   Fax: +49 89 2180 4038
   
schwicht AT mathematik.uni-muenchen.de
   http://www.mathematik.uni-muenchen.de/~schwicht/

and from the website 
   http://www.mathematik.uni-muenchen.de/~gkli/