From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 3A7AFBBBC for ; Fri, 17 Mar 2006 09:54:04 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k2H8s30F024205 for ; Fri, 17 Mar 2006 09:54:04 +0100 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 JAA18149 for ; Fri, 17 Mar 2006 09:54:03 +0100 (MET) 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 k2H8s2Wv030970 for ; Fri, 17 Mar 2006 09:54:03 +0100 Received: by yquem.inria.fr (Postfix, from userid 18041) id E9430BBBC; Fri, 17 Mar 2006 09:54:02 +0100 (CET) Date: Fri, 17 Mar 2006 09:54:02 +0100 To: caml-list@inria.fr Subject: Post-doc offer/Offre de sejour post-doctoral Message-ID: <20060317085402.GA19672@yquem.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.9i From: luc.maranget@inria.fr (Luc Maranget) X-Miltered: at concorde with ID 441A792B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 441A792B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; post-doc:01 maranget:01 maranget:01 moscova:01 rocquencourt:01 jocaml:01 postdoc:01 postdoc:01 --luc:01 moscova:01 l'inria:01 rocquencourt:01 jocaml:01 partant:01 documenter:01 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 Our team (Moscova, Inria Rocquencourt, France) proposes a post-doctoral fellow position. Basically, the work we propose is first to release the new version of JoCaml, our extension of Objective Caml with Join-calculus primitives, and then to study and implement en extension to the existing prototype, such as type safe serialization. Application deadline is March 30th. Candidates must have defended their thesis before September 1, 2006. More details on the application process are available at A short description of the position is given at the end of this mail. In any case, candidates should contact me (Luc.Maranget@inria.fr) --Luc Maranget ================================================== Notre équipe Moscova de l'Inria Rocquencourt propose un poste de post-doctorant. Le travail proposé est de d'abord de réaliser la prochaine release de JoCaml, extension de Objective Caml par le join-calcul, en partant du prototype actuel qu'il faut illustrer, tester et documenter. Ensuite on pourra envisager des extensions, en particulier la réalisation effective de la sérialisation sûre vis à vis des types, ou le filtrage de données XML par motifs réguliers. Attention la limite de dépot des candidature est le 30 mars. Les candidats, devront avoir soutenu leur thèse avant le premier septembre 2006. Les détails de la procédure pour candidater sont en Les candidats sont invités à me contacter. ================================================== Position description * Environnement 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 almost completed. It remains to seriously test the prototype, to write some examples and documentation. Additionally we plan to integrate some some important extensions, such as type safe marshalling or matching by regular term expressions. * Missions With Moscova project-team, the post-doctorant will test and this new release of Jocaml, and set its diffusion on the web. The post-doctorant will probably have enough time to study and implement an extension of JoCaml, such as type safe marshalling or matching by regular term expressions. * Ideal candidate The post-doctorant should have a good knowledge of the programming languages theory, and, if possible, of concurrency theory. The work will also consist in a good part of programming within distributed systems. This work is adequate for an expert in theory who wants to have some practical experience, or for a very good programmer (in operating systems or compilers) who wants to gain experience in programming under control of theory. -- Luc Maranget