From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id C9470BC48 for ; Fri, 8 Apr 2005 20:03:40 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j38I3eqs000416 for ; Fri, 8 Apr 2005 20:03:40 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA11594 for ; Fri, 8 Apr 2005 20:03:38 +0200 (MET DST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j38I3c2m000412 for ; Fri, 8 Apr 2005 20:03:38 +0200 Received: by yquem.inria.fr (Postfix, from userid 18041) id 7725ABC48; Fri, 8 Apr 2005 20:03:38 +0200 (CEST) Date: Fri, 8 Apr 2005 20:03:38 +0200 To: caml-list@inria.fr Subject: Post-Doctoral position at Inria Message-ID: <20050408180338.GA23923@yquem.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.3.28i From: luc.maranget@inria.fr (Luc Maranget) X-Miltered: at nez-perce with ID 4256C77C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4256C77A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; maranget:01 maranget:01 postdoc:01 postdoc:01 --luc:01 jocaml:01 jocaml:01 ocaml:01 ocaml:01 compiler:01 post-doc:01 moscova:01 haskell:01 matchings:01 haskell:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Hello, our team (Moscava) offers post-doctoral position. Both positions (especially the first one) are caml-related. Candidates should hold a doctorate or Ph.D. for less than one year or be about to obtain one (ie, before September 1, 2005) Aplication deadline is April 22 (position starting in September). More information on the adminsitrative nature of the offer is available at As regards scientific matters, we offer two subjects. Interested candidates are invited to consult the web pages specified in the following abstracts for additional information, and to contact us. --Luc Maranget First subject: Jocaml3 ********************** Jocaml is an extension of Ocaml based on the Join-calculus, see http://join.inria.fr. There are already two releases of the Join-calculus and Jocaml. A third version, simplified and better integrated to the Ocaml compiler, is under development. It remains to implement remote communication in distributed settings, which represents a good third of the whole Jocaml implementation. As a final result, we want to get a release of Jocaml, accessible on the web and compatible with successive releases of Ocaml. See Second subject: Pattern Matching Warnings for Haskell ***************************************************** Since Ocaml 1.05, Ocaml features an efficient and complete detection algorithm for pattern-matching anomalies such as useless match clauses and non-exhautive matchings. The corresponding theory is described in http://pauillac.inria.fr/~maranget/papers/warn.ps It also handles disjunctive patterns, without exponential explosion in practice. The post-doctorant will implement the detection algorithm in, for instance, GHC. She or he will demonstrate and document the work in order to make it available in a standard Haskell release. See