positions in core computing science (1 Post-Doc, 1 PhD)

[-- both positions tackle problems using typed process calculi, 
    so they might be of interest to TYPES readers --]

The following two positions, which are open from early 2002 on (with a
starting date in late summer 2002 also being possible), offer exciting
opportunities for research in a young but rapidly growing group.  

 * one Post-Doc position ( >= 1 year):

   on "Theory and Tool Support for the Formal Verification of
   Cryptographic Protocols", a project funded by the Swiss National
   Science Foundation 

 * one PhD position: 

   on "Semantics-Guided Design and Implementation of Group Communication 
   Middleware", an EPFL-funded seed project

There is no fixed deadline for applications.  
The offers will remain open until they can be filled.

[-- see http://lampwww.epfl.ch/~uwe/jobs.shtml for more details --]

EPFL Lausanne is one of two federal universities in Switzerland.  It has
one of the most nationally diverse research, teaching and learning
communities in Europe.  Lausanne is situated in very attractive
surroundings in the French-speaking part of Switzerland, on the border
of Lake Geneva, in close proximity to the Alps.

Uwe Nestmann