[TYPES] PhD position in Munich (fwd)

[Martin Hofmann]

      ---------------------------------------------------------
      Reminder: Call for PhD Applications, deadline 30 Nov 2004
      ---------------------------------------------------------

A PhD scholarship is available within the research group for
Theoretical Informatics (Prof Martin Hofmann) at the University of
Munich (LMU).

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: program logics, decision procedures,
  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: pointers and higher-order store, automatic cost
  analysis.

Students with a background in another area of logic in computer
science are also welcome to apply.

The PhD studentship will be associated with the Graduate School
(Graduiertenkolleg) "Logic in Computer Science". The grant is
initially for 36months and will be EUR1000 per month or more. The
successful applicant should participate in undergraduate tuition to
the extent of 2 contact hours per week during term time. Exceptions to
this are negotiable.

Applications comprising

- CV
- record of undergraduate studies
- copy of or link to diploma thesis (perhaps still in draft stage)
- addresses of two senior academics willing to provide references
- 1 page essay on why you would like to pursue PhD studies and which
  topic / area you would like to work on

are invited until 30th November 2004 and should be sent to

Prof Martin Hofmann
Institut fuer Informatik
Oettingenstr 67
80538 Muenchen
Germany
www.tcs.ifi.lmu.de/~mhofmann

or by e-mail to "hofmann at ifi dot lmu dot de".