8 November: fyi -- logic, Switzerland

Index of November 2000 | Index of year: 2000 | Full index

2 PHD SCHOLARSHIPS IN THEORETICAL COMPUTER SCIENCE / LOGIC
Institute for Computer Science and Applied Mathematics
Bern University, Switzerland

2 PhD sholarships are 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). Both positions are available from
January 1, 2001 for a period of two years, after which time an extension
for another 2 years may be possible.

One position is within a research project concerned with explicit mathematics,
metapredicativity, abstract computations and related proof-theoretic questions.
The second is centered around non-classical logics and their computational
aspects.

Requirements: Good background in logic and/or theoretical computer science;
relevant degree (e.g. diploma or MS) in computer science or mathematics.

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).

Index of November 2000 | Index of year: 2000 | Full index