Research Assistant/PhD Vacancy

[nipkow@informatik.tu-muenchen.de]

		      TOOL SUPPORT FOR LOGICAL CALCULI
		       Research Assistant/PhD Vacancy
			 Technical University Munich

The theorem proving group (http://www4.in.tum.de/~kleing/group/group.html) at
the Technical University Munich is looking for a research assistant to join a
DFG-funded project focussing on the development and application of the
theorem prover Isabelle (http://isabelle.in.tum.de).  The position offers
exciting opportunities for scientifically challenging research leading to a
PhD. The appointment is initially for 2 years with an optional extension.

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

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

who should like to work on the boundary between theory and practice.
Depending on the candidates interests and abilities, the work can focus an
either of the following areas:

- logical calculi for the development of (object oriented) programs
- structuring mechanisms for large theories
- tool support for automated reasoning


Informal inquiries and formal applications should be addressed to
nipkow@in.tum.de (http://www.in.tum.de/~nipkow).