Subject: (fwd) PhD positions
From: Norbert Preining (firstname.lastname@example.org)
Date: Fri Nov 10 2000 - 12:38:40 MET
attached mail follows:
Could you please include the following announcement
in the next KGS Newsletter.
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
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: email@example.com, 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