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