Logic List Mailing Archive

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

1 POSTDOC POSITION IN LOGIC / THEORETICAL COMPUTER SCIENCE
Institute for Computer Science and Applied Mathematics
Bern University, 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 (cf. http://www.iam.unibe.ch/~til/ 
for further information about our group). 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@iam.unibe.ch, phone: +41 31 631 85 60, fax: +41 31 631 32 
60).