* postdoc vacancy in security & formal methods
@ 2010-08-19 19:48 Wan Fokkink
0 siblings, 0 replies; only message in thread
From: Wan Fokkink @ 2010-08-19 19:48 UTC (permalink / raw)
To: categories
In the DASDIP project (Design and Analysis of Secure Distributed
Protocols) there is a vacancy for a 2.5 year post-doc position at
the Vrije Universiteit in Amsterdam
DASDIP is a joint research project between the Theoretical
Computer Science group in Amsterdam (www.cs.vu.nl/~tcs) and
the Digital Security group in Nijmegen (www.ru.nl/ds/).
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. More information on the project can
be found at
http://www.cs.vu.nl/~wanf/dasdip.pdf
To apply, send a CV, letter of motivation, and names of at least
two references to Wan Fokkink (wanf@cs.vu.nl). Deadline for
application is September 21, 2010.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-08-19 19:48 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-08-19 19:48 postdoc vacancy in security & formal methods Wan Fokkink
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).