Postdoctoral position in Logic / Theoretical Computer Science (2y), Bern (Switzerland)

1 Postdoc position is available in the research group "Theoretical Computer Science and Logic" at the Institute for Computer Science and Applied Mathematics of Bern University. The position is available from October 1, 2009 for a period of two years, after which time an extension may be possible.

This position is within a research project about proof theory focussing on reflections and (non-)monotone inductive definitions, operational set theory, and feasible and subrecursive proof and type systems. An excellent background in logic and previous working experience in proof theory are required.

Interested candidates should send an application letter and a detailed CV (including a list of courses completed and marks received) to G. Jaeger (email: jaeger at iam.unibe.ch, phone: +41 31 631 85 60, fax: +41 31 631 32 60). See http://www.iam.unibe.ch/~til/ for further information about the research group.