[TYPES] PhD position in formal methods / security

[Wan.Fokkink at cwi.nl]

PHD POSITION: APPLYING FORMAL METHODS TO SECURITY PROTOCOLS
===========================================================

The Embedded Systems Group at CWI in Amsterdam seeks a PhD student for 4 years
on a research project devoted to

  Protocols for Secure Infrastructure and E-Commerce

Starting date of this PhD position is as soon as possible.

The project
----------- 

The objective of this project is to develop and apply formal methods and tools
for the engineering of provably secure (multicast) negotiation protocols.

The project consortium consists of three Dutch research institutes: CWI,
University of Twente, and Eindhoven University of Technology. There are also
two companies and a governmental organisation involved: Siemens Nederland, Stelvio,
and Rijkswaterstaat.

For more detailed information, see pages 43-47 of the following project proposal:

  http://homepages.cwi.nl/~wan/bricks.pdf

Qualifications
-------------- 

Candidates should have completed their studies in computer science or a closely
related area. Experience with security protocols, a good theoretical background
(algorithmics, formal methods), and an open attitude to real applications are
considered advantages. You should enjoy working in an internationally oriented
research environment. Communicative skills and the ability to work in a team
are important. 

Information and application
---------------------------

For further information about this position please contact:

  Prof.dr. Wan Fokkink, wan at cwi.nl, tel. +31 (0)20 592 4104

For more information on the Embedded Systems Group at CWI, see:

  http://www.cwi.nl/sen2/

You are invited to send an application by email to the above email address no
later than May 23, 2004. Your application should consist of a cover letter,
a curriculum vitae (including detailed information regarding your academic degree),
a list of publications, and the names and addresses of two references.