[FOM] Job announcement for FOM list

[Thomas Strahm]

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 at iam.unibe.ch, phone: +41 31 631 85 60, fax:
+41 31 631 32 60).

---------------------

-- 
Thomas Strahm, IAM, University of Bern, Switzerland
http://www.iam.unibe.ch/~strahm


__________ Information from ESET NOD32 Antivirus, version of virus 
signature database 4425 (20090914) __________

The message was checked by ESET NOD32 Antivirus.

http://www.eset.com