Logic List Mailing Archive

C1 Muenchen

RESEARCH ASSISTANT (C1) AT MUNICH
   Institute of Theoretical Computer Science
   Ludwig -Maximilians-University, Munich, Germany
 * The position is for 3 years initially; thereafter an extension for
   another 3 years is possible. The possiblity of habilitation is offered.
   This position is connected with a teaching activity of 4 hours per
   week during term time.
 * Possible fields are e.g. the area of mathematical logic with regard
   to computer science, theory of complexity and algorithms related to
   logic and programming, theorem proving, theory of programming
   languages formal methods.
 * For applications and further information please contact:
   Prof. Martin Hofmann (Email: mhofmann@informatik.uni-muenchen.de)