From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6058 Path: news.gmane.org!not-for-mail From: Wan Fokkink Newsgroups: gmane.science.mathematics.categories Subject: postdoc vacancy in security & formal methods Date: Thu, 19 Aug 2010 21:48:45 +0200 (CEST) Message-ID: Reply-To: Wan Fokkink NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: dough.gmane.org 1282288549 624 80.91.229.12 (20 Aug 2010 07:15:49 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 20 Aug 2010 07:15:49 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri Aug 20 09:15:48 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OmLpL-0005bx-F9 for gsmc-categories@m.gmane.org; Fri, 20 Aug 2010 09:15:47 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:58113) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1OmLoF-0007dq-DO; Fri, 20 Aug 2010 04:14:39 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1OmLoB-0003qX-V9 for categories-list@mlist.mta.ca; Fri, 20 Aug 2010 04:14:36 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6058 Archived-At: 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/ ]