Logic List Mailing Archive

PhD positions in formal methods for e-commerce (CWI, Amsterdam)

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@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.