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