Logic List Mailing Archive

three PhD student positions in theoretical CS, Stockholm (Sweden), Deadline: 16 May 2008

We are announcing three graduate student postions at the
Royal Institute of Technology in Stockolm, Sweden in
the following areas:

Approximation of NP-hard optimization problems.

Cryptographic protocols.

Formal methods.

Deadline for applications is May 16.

For more information on the theory group and the positions
please consult our home page at  Royal Institute of Technology.
It is located at http://www.csc.kth.se/tcs/.