From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 049D1BB81 for ; Mon, 20 Mar 2006 10:24:51 +0100 (CET) Received: from mgw1.diku.dk (mgw1.diku.dk [130.225.96.91]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k2K9OoLn012571 for ; Mon, 20 Mar 2006 10:24:50 +0100 Received: from localhost (localhost [127.0.0.1]) by mgw1.diku.dk (Postfix) with ESMTP id C5443770029 for ; Mon, 20 Mar 2006 10:24:49 +0100 (CET) Received: from mgw1.diku.dk ([127.0.0.1]) by localhost (mgw1.diku.dk [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 10416-14 for ; Mon, 20 Mar 2006 10:24:44 +0100 (CET) Received: from nhugin.diku.dk (nhugin.diku.dk [130.225.96.140]) by mgw1.diku.dk (Postfix) with ESMTP id 36F3B7700FB for ; Mon, 20 Mar 2006 09:53:36 +0100 (CET) Received: from pc-041.diku.dk (pc-041.diku.dk [130.225.97.41]) by nhugin.diku.dk (Postfix) with QMQP id 6BC936DFAB3 for ; Mon, 20 Mar 2006 09:51:59 +0100 (CET) Date: Mon, 20 Mar 2006 09:53:35 +0100 (MET) From: Julia Lawall To: caml-list@yquem.inria.fr Subject: PhD position Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: amavisd-new at diku.dk X-Miltered: at nez-perce with ID 441E74E2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; diku:01 diku:01 semantics:01 compilation:01 ocaml:01 2006:98 religion:98 2100:98 strong:96 programming:03 programming:03 copenhagen:03 copenhagen:03 deadline:04 emn:04 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 PhD position: the Coccinelle framework for evolution of Linux device drivers Description of the position: A full 3-year PhD scholarship is available at the University of Copenhagen (DIKU) to work on the design and development of the Coccinelle framework for evolution of Linux device drivers. The candidate should have a strong interest in most of the following: * Programming language design * Programming language semantics * Program analysis * Compilation * Operating system design * Device drivers Tools related to Coccinelle are being developed using OCaml. A Masters degree is required to start the position, but need not be completed by the time of the application. The deadline for the application is April 14, 2006 at 12pm (noon), Danish time. More information about the position and the application process is available at: http://www.diku.dk/~julia/announcement.pdf More information about the project is available at: http://www.emn.fr/x-info/coccinelle/ All interested candidates irrespective of age, gender, race, religion or ethnic background are invited to apply. Knowledge of Danish is not required. Julia Lawall DIKU - University of Copenhagen Universitetsparken 1 2100 Copenhagen, Denmark e-mail: julia@diku.dk, web: http://www.diku.dk/~julia/