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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 28252BC6B for ; Wed, 27 Jun 2007 18:00:43 +0200 (CEST) Received: from hydra.cs.vu.nl (hydra.cs.vu.nl [130.37.16.4]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5RG0gUI029725 for ; Wed, 27 Jun 2007 18:00:42 +0200 Received: from localhost (localhost [127.0.0.1]) by hydra.cs.vu.nl with esmtp (Smail #115) id m1I3Zwg-0012q3C; Wed, 27 Jun 2007 18:00 +0200 Date: Wed, 27 Jun 2007 18:00:42 +0200 (CEST) From: Wan Fokkink To: caml-list@inria.fr Subject: PhD Position: Formal Modelling of Cell Behaviour Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at discorde with ID 468289AA.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; universiteit:01 model:01 model:01 biological:98 biological:98 attitude:98 2007.:98 define:01 tcs:01 behaviour:01 behaviour:01 groups:02 groups:02 interaction:02 interaction:02 PhD Position: Cell Behaviour Analysis with Formal, High-Performance Verification Techniques =========================================================================================== At the Department of Computer Science at the Vrije Universiteit (VU) in Amsterdam, a PhD position for four years is available on a research project devoted to Cell Behaviour Analysis with Formal, High-Performance Verification Techniques Starting date of this PhD position: as soon as possible. The project ----------- The goal of the project is to describe biological cells, compartments (organelles) and molecules (e.g., DNA and proteins) by formal interaction patterns/models. These models describe cells and their components as independent, communicating entities. Using the formal models, the aim will be to derive fundamentally new insights in cellular behaviour that go beyond the current formalisations in terms of ordinary differential equations. The PhD student will investigate the requirements for a formal framework to model the biologically relevant aspects of cellular behaviour, and define a minimal set of interacting cells and cellular components. At the same time the simulation of cellular behaviour involves modeled entities of high complexity, heterogeneity and variability. This poses new challenges to and promises new insights in the execution and verification environment of the formal interaction models. A second PhD student (this position is already taken!) will for this purpose work on developing the formal framework to model cell behaviour, and parallel verification algorithms. The two PhD students will collaborate on the verification of formal models of cells. The DAS3 cluster (see http://www.cs.vu.nl/das3/) will be used for running experiments. In addition, the Ibis01 cluster is available for running specialized Bioinformatics analyses. For more detailed information on the project, see http://www.cs.vu.nl/~wanf/cell-project.pdf Research groups --------------- This project is a collaboration between three research groups at the VU: Parallel Computing (Henri Bal), Bioinformatics (Jaap Heringa), and Theoretical Computer Science (Wan Fokkink). For more information on the involved research groups, see http://www.cs.vu.nl/en/sec/cs/ http://www.ibi.vu.nl/ http://www.cs.vu.nl/~tcs Qualifications -------------- Candidates should have completed their studies in Computer Science, Bioinformatics or a closely related area. Strong experience in computer science is essential. Experience with biological systems, distributed systems, a good theoretical background, and an open attitude to applications are considered advantages. You should enjoy working in an interdisciplinary and internationally oriented research environment. Communicative skills and the ability to work in a team are important. Information and application --------------------------- For further information about these positions please contact either: Prof.dr. Wan Fokkink wanf@cs.vu.nl tel. +31 (0)20 5987735 Prof.dr. Jaap Heringa heringa@cs.vu.nl tel. +31 (0)20 5987649 You are invited to send an application by email to the above email addresses no later than July 16, 2007. Your application should consist of a cover letter, a curriculum vitae (including detailed information regarding your academic degree), and the names and addresses of two references.