(fwd) PhD positions


Subject: (fwd) PhD positions
From: Norbert Preining (preining@logic.at)
Date: Fri Nov 10 2000 - 12:38:40 MET


attached mail follows:


Could you please include the following announcement
in the next KGS Newsletter.

Sincerely,

Gerhard Jaeger and Thomas Strahm

______________________________________________________

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

___________________________________________________________



This archive was generated by hypermail 2b25 : Fri Nov 10 2000 - 12:38:59 MET