(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 http://www.ru.nl/ds/about_ds/vacancies. For either position, send a CV, letter of motivation, and names of at least two references to Wan Fokkink and Erik Poll. ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ petrinet@informatik.uni-hamburg.de ]]
