[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] postdoc and PhD vacancy in security & formal methods

(apologies for multiple copies)

In the DASDIP project (Design and Analysis of Secure Distributed
Protocols) there are vacancies for

  - a PhD student at the Radboud University in Nijmegen

  - a 3 year position post-doc at the Free University in Amsterdam

DASDIP is a joint research project between Theoretical Computer
Science group in Amsterdam and the Digital Security group in
Nijmegen. The project is funded by NWO, the Netherlands
Organisation for Scientific Research. The full proposal is
available at http://www.cs.vu.nl/~wanf/dasdip.pdf.

The project involves research at the crossroads of security,
formal methods, and distributed computations and procotols.

Taking the established theory of traditional distributed protocols
(such as consensus, leader election, or atomic commit) as starting
point, the project aims to study secure distributed protocols,
taking into account the possibility of malicious behaviour and the
realisation of security goals.

The PhD position is a fully-funded position for 4 years, with a
starting salary of 2,042 euro/month. The post-doc position is for
3 years, with a starting salary of 3,755 euro/month (also
depending on previous work experience)

For more information about the post-doc position in Amsterdam,
contact Wan Fokkink (http://www.few.vu.nl/~wanf/).

For more information regarding the PhD position in Nijmegen,
contact Erik Poll (http://www.cs.ru.nl/~erikpoll) or see

For either position, send a CV, letter of motivation, and names
of at least two references to Wan Fokkink and Erik Poll.