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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 2AD47BC0B for ; Tue, 23 Jan 2007 16:11:36 +0100 (CET) Received: from [128.93.11.101] (buzet.inria.fr [128.93.11.101]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0NFBXBj025895 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 23 Jan 2007 16:11:34 +0100 Message-ID: <45B624E6.10604@inria.fr> Date: Tue, 23 Jan 2007 16:08:22 +0100 From: Alain Frisch User-Agent: Thunderbird 1.5.0.7 (X11/20060927) MIME-Version: 1.0 To: caml users Subject: Job opportunity in Paris, around the CDuce project X-Enigmail-Version: 0.94.0.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 45B625A5.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frisch:01 frisch:01 cduce:01 ocaml:01 cduce:01 ocaml:01 compiler:01 castagna:01 typing:01 caml-list:01 pps:01 alain:01 alain:01 concurrency:02 implemented:02 Dear Caml-list, The announce below might be of interest for people looking for jobs involving OCaml. -- Alain Frisch ------------------------------------------------------------- Position available at Paris 7 The laboratory PPS of University Paris 7 is looking for candidates for a one year position, available immediately, around the CDuce project. CDuce is a programming language for XML (see http://www.cduce.org), close in spirit to OCaml, and whose compiler is implemented in OCaml. According to the profile of the recruited person the position will focus more on the development environment (e.g.: libraries for web development or web services, Eclipse plugins, Windows port) or on the research aspects (e.g.: concurrency, typing, distribution, verification) around CDuce. Candidates should be fluent in OCaml or in another functional language. Experience in Web development, environments for software development and/or XML would be useful as well. The annual gross salary will be around 28.000 Euros. If interested please send a mail to staff@cduce.org as soon as possible. Giuseppe Castagna