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).