[DL] PHD SCHOLARSHIP IN THEORETICAL COMPUTER SCIENCE / LOGIC
tstuder at iam.unibe.ch
Mon Jun 7 11:56:23 CEST 2004
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 from July 1, 2004, 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
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).
More information about the dl