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.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id BB1A3BC37 for ; Tue, 30 Jun 2009 10:24:59 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.42,315,1243807200"; d="scan'208";a="28988019" Received: from micromega.irisa.fr (HELO [131.254.14.63]) ([131.254.14.63]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 30 Jun 2009 10:24:59 +0200 Mime-Version: 1.0 (Apple Message framework v753.1) Content-Transfer-Encoding: quoted-printable Message-Id: Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed To: caml-list From: =?ISO-8859-1?Q?Fr=E9d=E9ric_Besson?= Subject: =?ISO-8859-1?Q?[Job]_Ing=E9nieur_Caml_jeune_dipl=F4m=E9?= Date: Tue, 30 Jun 2009 10:24:56 +0200 X-Mailer: Apple Mail (2.753.1) X-Spam: no; 0.00; irisa:01 ocaml:01 statiques:01 l'annonce:01 desc:01 mots-cles:01 compilation:01 ocaml:01 besson:98 2009:98 2009:98 besson:98 statique:01 rennes:01 caml:02 L'=E9quipe Inria Celtique recherche un programmeur OCaml (ing=E9nieur =20= jeune dipl=F4m=E9) pour d=E9velopper des analyses statiques pour le langage Java. L'annonce est consultable =E0 l'adresse suivante http://www.inria.fr/travailler/mrted/en/eng/details.html?=20 id=3DPNGFK026203F3VBQB6G68LOE1&LOV5=3D4510&LOV2=3D4491&LG=3DEN&Resultsperp= age=3D20=20 &nPostingID=3D3501&nPostingTargetID=3D7707&option=3D52&sort=3DDESC&nDepart= mentID=20 =3D10 Mots-cl=E9s : compilation, v=E9rification, analyse statique Langages : OCaml =C9ligibilit=E9 : ing=E9nieur jeune dipl=F4m=E9 ( \itemdipl=F4m=E9 = 2008 ou 2009) Contrat : un an (renouvelable une fois) Lieu : Rennes Date limite : 30 ao=FBt 2009 Contact : frederic.besson@inria.fr=