Institute of Computer Science and Applied Mathematics
University of Bern, Switzerland
A postdoctoral position is available in the Research Group for Theoretical Computer Science and Logic at the Institute of Computer Science and Applied Mathematics of the University of Bern (see http://www.iam.unibe.ch/~til/ for further information about the group). The successful candidate will join the research project “Structural Proof Theory and the Logic of Proofs.”
The position will be available from August 1, 2010 for a period of ten months. Requirements: a PhD in Computer Science or Mathematics with the emphasis on logic and/or theoretical computer science. Candidates with a background in Proof Theory and/or the Logic of Proofs will be given preference.
For further information, contact the head of the research group G. Jaeger (email: jaeger@iam.unibe.ch, phone: +41 31 631 85 60, fax: +41 31 631 32 60).
