From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id E67BABC6B for ; Thu, 1 Nov 2007 16:39:17 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAABGPKUfAXQImh2dsb2JhbACOaAEBAQgKKYEPAQ X-IronPort-AV: E=Sophos;i="4.21,358,1188770400"; d="scan'208";a="5352324" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 01 Nov 2007 16:39:17 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id lA1FdHJe011854 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 1 Nov 2007 16:39:17 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAABGPKUfAEL8Ih2dsb2JhbACOaAEBAQgKKYEPAQ X-IronPort-AV: E=Sophos;i="4.21,358,1188770400"; d="scan'208";a="3804427" Received: from hera.cwi.nl ([192.16.191.8]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Nov 2007 16:39:16 +0100 Received: from poliwag.sen.cwi.nl (poliwag.sen.cwi.nl [192.16.201.132]) by hera.cwi.nl with ESMTP id lA1FdG8Q025415 for ; Thu, 1 Nov 2007 16:39:16 +0100 (MET) Received: by poliwag.sen.cwi.nl (Postfix, from userid 189) id 6D2AB98040; Thu, 1 Nov 2007 16:39:16 +0100 (CET) To: caml-list@inria.fr Subject: Positions in EU FP7 project at CWI, Amsterdam Message-Id: <20071101153916.6D2AB98040@poliwag.sen.cwi.nl> Date: Thu, 1 Nov 2007 16:39:16 +0100 (CET) From: Farhad.Arbab@cwi.nl (Farhad Arbab) X-Miltered: at discorde with ID 4729F325.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; postdoc:01 thales:01 model:01 postdoc:01 semantics:01 supervised:98 renowned:98 sectors:98 2900:98 1900:98 incremental:01 experimental:01 computation:01 implemented:02 theoretical:03 Two Open Positions in the EU FP7 Project COMPAS at CWI, Amsterdam The Netherlands Position Description ==================== The Coordination Languages group, SEN3, at CWI has two open positions for: (1) a postdoc for a period of three years, and (2) a PhD student. Both positions are within the EU FP7 STREP research project "Compliance-driven Models, Languages, and Architectures for Services" (COMPAS). The partners in the COMPAS project plan to design and implement novel models, languages, and an architectural framework to ensure dynamic and on-going compliance of software services with business regulations and the stated service requirements of users. We intend to use model-driven software development approaches to enable organizations develop custom business compliance solutions faster, cheaper, and with less programming skills. The COMPAS consortium consist of the following partners: Vienna University of Technology, Austria (Project Coordinator) CWI, Netherlands University of Claude Bernard Lyon 1, France University of Stuttgart, Germany University of Tilburg, Netherlands University of Trento, Italy Apera sp z.o.o., Poland Thales, France PricewaterhouseCoopers, Netherlands The primary role of the CWI group as a partner in this project involves development of a formally grounded and implemented behavioral model for services and service composition that enables formal validation of compliance of composed services with the specifications of behavior and process constraints. The CWI activities in COMPAS involve both systems oriented and theoretical work in software engineering, supervised by Prof. Dr. F. Arbab (www.cwi.nl/~farhad) The COMPAS project complements the theoretical and technological framework of other current projects in SEN3 at CWI. The candidate for the postdoc position is expected to have a PhD in computer science, with a strong background in service-oriented and component-based systems, and maturity in formal methods and their practical applications. Project management skills, teamwork and leadership, as well as the ability to work effectively with academic colleagues and PhD students, are all important qualifications for this position. The candidate for the PhD position should have at least a master degree in computer science, with a background in service-oriented and component-based software engineering, concurrency and distributed systems, and practical software development. The Theme SEN3 (http://www.cwi.nl/sen3) at CWI is a dynamic group of internationally recognized researchers who work on Coordination Models and Languages, service-oriented and Component-Based Software Composition. The activity in SEN3 is a productive, healthy mix of theoretical, foundational, and experimental work in Computer Science, ranging in a spectrum covering mathematical foundations of models of computation, formal methods and semantics, implementation of advanced research software systems, as well as their real-life applications. General information =================== CWI is an internationally renowned research institute in mathematics and computer science, located in Amsterdam, The Netherlands. The focus is on fundamental research problems, derived from societal needs. Research is carried out in 18 research themes. More information about these themes can be found on the website www.cwi.nl where you can also find the Annual Reports of the institute. A substantial part of this research is carried out in the framework of national or international programs. CWI maintains excellent relations with industry and the academic world, at home as well as abroad. After their research careers at CWI, an increasing number of young staff members find employment in these sectors, for example in spin-off companies that are based on research results from CWI. Of course, library and computing facilities are first-rate. CWI's non-scientific services to its personnel include career planning, training & courses, assistance in finding housing, and tailor-made solutions to problems that may occasionally arise. Terms of employment =================== The salary is in accordance with the "CAO-onderzoekinstellingen" and is commensurate with experience. For instance, the postdoc base salary for a fresh PhD with no additional experience in scale 10 is around 2900 Euros/month. The current starting salary for a first year PhD student is around 1900 Euros/month. Both salaries will include an incremental raise for each subsequent year. Besides the salary, CWI offers very attractive and flexible terms of employment, like a collective health insurance, pension-fund, etc. Application =========== To apply, please send a statement of your interest, together with curriculum vitae, letters of references, and lists of publications to: Prof. F. Arbab, telephone +31-20-592-4056, e-mail Farhad.Arbab@cwi.nl making sure that you specifically mention the COMPAS project.