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=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 4F948BB84 for ; Thu, 22 May 2008 13:57:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlgBAPb8NEjAXQIniGdsb2JhbACSNAEBAQ8gnFs X-IronPort-AV: E=Sophos;i="4.27,524,1204498800"; d="scan'208";a="26504404" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 22 May 2008 13:57:40 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4MBvdX2026327 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 22 May 2008 13:57:39 +0200 X-IronPort-AV: E=Sophos;i="4.27,524,1204498800"; d="scan'208";a="26504403" Received: from micromega.irisa.fr (HELO [131.254.14.63]) ([131.254.14.63]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 22 May 2008 13:57:39 +0200 Mime-Version: 1.0 (Apple Message framework v753) Content-Transfer-Encoding: quoted-printable Message-Id: <14A88DC9-CF75-4782-B28E-2C6C692E6B89@irisa.fr> Content-Type: text/plain; charset=WINDOWS-1252; delsp=yes; format=flowed To: caml-list From: =?ISO-8859-1?Q?Fr=E9d=E9ric_Besson?= Subject: =?ISO-8859-1?Q?[Job]_Ing=E9nieur_associ=E9_at_Inria_Rennes?= Date: Thu, 22 May 2008 13:57:35 +0200 X-Mailer: Apple Mail (2.753) X-Miltered: at concorde with ID 48355FB3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; irisa:01 byte:01 desc:01 irisa:01 besson:98 cornerstone:98 rennes:01 rennes:01 lande:01 lande:01 caml:02 caml:02 numerical:03 frederic:03 static:03 Interested in static program analysis? A passionate Caml developer ? For several years, the Inria Lande project-team located in Rennes =20 has been developing static analyses targeting Java byte code. We are now looking for a talented Caml Programmer who wants to be the =20= cornerstone of this development effort aimed at producing a tool that provides a number of cooperating analyses, including =20 control flow, relational numerical domains, alias and null references. The formal job announcement (in French) can be found on the Inria =20 website at http://www.inria.fr/travailler/mrted/en/eng/details.html? =20 id=3DPNGFK026203F3VBQB6G68LOE1&LOV5=3D4510&LOV6=3D4514&LG=3DEN&Resultsperp= age=3D20=20 =20 &nPostingID=3D2523&nPostingTargetID=3D5999&option=3D52&sort=3DDESC&nDepart= mentID=20 =3D10 The succesful candidate will join the Lande project-team and interact =20= with the permanent academic staff as well as the PhD students working =20= in the project. * The position is for one year with the possibility of a one year =20 extension based upon achievements * The position is open to junior software engineers with a Master's =20 degree (or equivalent) * The gross salary is 2495=80 per month. For more information, contact fbesson@irisa.fr=