12 September: fyi -- phd funding (logic), NL

Index of September 2001 | Index of year: 2001 | Full index

PhD Position in Computational Logic (applied to security and real-time
systems)

The Distributed and Embedded System Group of the University of Twente has a vaca
ncy for a PhD student/ researcher. The
project focuses on constraint and logic programming, with particular emphasis on
the application of CLP technology in the field
of security and verification.

Possible research areas include:

Specification and verification of cryptographic protocols in Computational
Logic.
Use of constraint techniques in real-time environments.
Building trustworthy system employing possibly untrustworthy components.
Verification of hybrid systems using constraint-based techniques.

For more informations please contact

Sandro Etalle,
etalle@cs.utwente.nl
http://www.cs.utwente.nl/~etalle
tel: +31 53 4891195
fax: +31 53 489 4590

The Faculty of Computer Science at the University of Twente in the Netherlands o
ffers courses in Computer Science,
Telematics, and Business Information Technology. The faculty has research groups
in the following strategic areas: Language
and Knowledge Technology, Embedded Systems, Formal Methods, Telematics, Database
s, and Information Systems. The faculty
has about 230 staff and 1200 students. The research program of the Embedded Syst
ems cluster is focused on the design of
efficient architectures, design methodology, dependability and security.

Index of September 2001 | Index of year: 2001 | Full index