From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3811 Path: news.gmane.org!not-for-mail From: F.S.de.Boer@cwi.nl (Frank de Boer) Newsgroups: gmane.science.mathematics.categories Subject: Post-doc position in the European project Credo Date: Mon, 9 Jul 2007 16:28:19 +0200 (CEST) Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241019537 10394 80.91.229.2 (29 Apr 2009 15:38:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:38:57 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Jul 10 10:20:30 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 10 Jul 2007 10:20:30 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I8FUy-00054v-Sn for categories-list@mta.ca; Tue, 10 Jul 2007 10:11:25 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 5 Original-Lines: 47 Xref: news.gmane.org gmane.science.mathematics.categories:3811 Archived-At: Postdoc in CREDO project The position is within the IST-33826 research project CREDO "Modeling and analysis of evolutionary structures for distributed services". The project aims at the development and application of an integrated suite of tools for compositional modeling, testing, and validation of software for evolving networks of dynamically reconfigurable components. More information on this project can be found at http://www.cwi.nl/projects/credo. The candidate is expected to work on a object-oriented software development method and architecture to support the dynamic composition of highly reconfigurable component-based software systems. The method structures applications as a network of adaptive concurrent computational tasks that interact using mobile channels. The research focusses on studying: (i) the effects of runtime reconfiguration of the network of mobile channels, and (ii) the effects runtime changes/upgrades of the computational tasks. In addition, the applicability of light-weight and automated verification and model checking techniques and tools will be evaluated in a real-world case study. The candidate should have a PhD degree and a background in software engineering, concurrency and distributed systems, and practical software development or formal methods. The postdoc is offered a full-time position for the remaining duration of the CREDO project (till September 2009). To ensure intensive knowledge transfer from industry to university and vice versa the position will be hosted by the research group on coordination languages of the Centre for Mathematics and Computer Science (CWI, Amsterdam, The Netherlands) and Almende BV which is one of the case study partners in the project. To apply, please send your letter of application, together with curriculum vitae, and possible letters of references to Alfons Salden (alfons@almende.com) and Frank de Boer (F.S.de.Boer@cwi.nl).