Research Assistant/PhD Vacancy

		       Research Assistant/PhD Vacancy
			 Technical University Munich

The theorem proving group at the Technical University Munich is looking for a
research assistant to join an EU-funded collaborative project focussing on
the specification and verification of Java implementations for smart cards.
The position offers exciting opportunities for scientifically challenging and
industrially relevant research leading to a PhD.

We seek a candidate with a strong background in one of the following areas

- theorem proving
- logic
- semantics of programming languages
- functional/logic programming

who should like to work on the boundary between theory and practice.
The appointment is initially for 33 months with a possible renewal.
Starting date is negotiable within the next 6 months.

Informal inquiries about the position may be addressed to nipkow@in.tum.de
(www.in.tum.de/~nipkow). Formal applications should be sent by e-mail or to
the following address:

  Prof. Tobias Nipkow
  Institut fuer Informatik
  Technische Universitaet Muenchen
  Arcisstraße 21
  D-80290 Muenchen

They should include a curriculum vitae, a copy of your master's thesis, and
the names of two personal references. Please ask your references to send
their letters directly to nipkow@in.tum.de.