[TYPES] PHD SCHOLARSHIP IN THEORETICAL COMPUTER SCIENCE / LOGIC

[Thomas Studer]

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

One PhD scholarship 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 immediately, for a period of two years, 
after which time an extension for another two years may be possible.

This PhD scholarship is within the project "Dynamical Ontologies" which
is centered around the question of how to extend simple ontology based 
reasoning systems into real multi-user systems that are able to deal 
with the dynamic aspects of ontologies. In particular, it is aimed at 
extending traditional description logics and multi-modal systems for 
knowledge and information by additional features for capturing the 
dynamics of real world situations.

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

For further information contact Dr. Th. Studer 
(email: tstuder at iam.unibe.ch, phone: +41 31 631 39 84,
fax: +41 31 631 32 60).



---------------------------------------------------------------------
Dr. Thomas Studer                                         office: 109
Universität Bern, IAM                      phone:  +41 (0)31 631 3984
Neubrückstrasse 10                       e-mail: tstuder at iam.unibe.ch
CH-3012 Bern                         http://www.iam.unibe.ch/~tstuder
Switzerland
---------------------------------------------------------------------