From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr 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 5C50EBDCB for ; Mon, 5 Sep 2005 10:21:38 +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 j858LbrD031475 for ; Mon, 5 Sep 2005 10:21:38 +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 KAA19977 for ; Mon, 5 Sep 2005 10:21:37 +0200 (MET DST) Received: from smtp.irisa.fr (smtp.irisa.fr [131.254.254.26]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j858Lb4f031466 for ; Mon, 5 Sep 2005 10:21:37 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by localhost.irisa.fr (Postfix) with ESMTP id 15840FAD9 for ; Mon, 5 Sep 2005 10:21:37 +0200 (CEST) Received: from smtp.irisa.fr ([131.254.254.26]) by localhost (meli.irisa.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 18840-08 for ; Mon, 5 Sep 2005 10:21:35 +0200 (CEST) Received: from kim.irisa.fr (kim.irisa.fr [131.254.50.47]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (No client certificate requested) by smtp.irisa.fr (Postfix) with ESMTP id 2970AFAD2 for ; Mon, 5 Sep 2005 10:21:35 +0200 (CEST) Received: from kim.irisa.fr (localhost.localdomain [127.0.0.1]) by kim.irisa.fr (8.12.10/8.12.8) with ESMTP id j858LYQ2020133 for ; Mon, 5 Sep 2005 10:21:34 +0200 Received: (from genet@localhost) by kim.irisa.fr (8.12.10/8.12.10/Submit) id j858LYDl020129; Mon, 5 Sep 2005 10:21:34 +0200 From: Thomas Genet MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Message-ID: <17180.14.784528.984684@kim.irisa.fr> Date: Mon, 5 Sep 2005 10:21:34 +0200 To: caml-list@inria.fr Subject: Offre d'emploi a l'IRISA X-Mailer: VM 7.17 under 21.4 (patch 14) "Reasonable Discussion" XEmacs Lucid X-Virus-Scanned: by amavisd-new at irisa.fr X-Miltered: at nez-perce with ID 431C0011.005 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 431C0011.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; irisa:01 l'irisa:01 l'unite:01 rennes:01 inria-rennes:01 s'interesse:01 formelle:01 developpees:01 irisa:01 dea:01 lande:01 lande:01 jensen:01 jensen:01 caml:02 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 L'unit=E9 de Recherche INRIA de RENNES recrute sur contrat =E0 dur=E9e d=E9termin=E9e (appellation ing=E9nieur expert) :=20 1 Ing=E9nieur recherche & d=E9veloppement Lieu de travail : INRIA-Rennes Projet d'accueil : Lande D=E9but du contrat: entre le 1/09/05 et le 31/12/05 Dur=E9e du contrat : 12 mois Formation requise : doctorat, DEA, DESS, M2R ou M2Pro en Informatique Activit=E9 du Projet d'accueil: Le projet Lande est une =E9quipe de recherche qui s'int=E9resse =E0 la v=E9rification formelle de logiciels= . En particulier, Lande travaille en partenariat avec France Telecom R&D et Thomson R&D sur la v=E9rification de protocoles cryptographiques. Lande= d=E9veloppe une technique de v=E9rification automatique, =E0 l'=E9tat d= e prototype, qui a d=E9j=E0 =E9t=E9 appliqu=E9e avec succ=E8s =E0 des pro= tocoles cryptographiques industriels. Objectif du poste: A partir des techniques d=E9velopp=E9es par l'=E9qui= pe Lande, l'objectif est de r=E9aliser un outil complet, int=E9gr=E9 et op= en source pour la v=E9rification de protocoles cryptographiques. Les protocoles vis=E9s sont des protocoles de commerce =E9lectronique et de= diffusion de contenu video num=E9rique. Ce travail sera r=E9alis=E9 en collaboration avec France Telecom R&D et Thomson R&D.=20 Qualit=E9s requises: - solide exp=E9rience dans le d=E9veloppement d'applications=20 complexes en Objective Caml.=20 - autonomie - exp=E9rience du travail en =E9quipe - anglais courant - des connaissances dans le domaine de la v=E9rification et/ou des prot= ocoles cryptographiques seraient un plus=20 Contact: Thomas.Genet@irisa.fr (http:/www.irisa.fr/lande/genet) Thomas.Jensen@irisa.fr (http:/www.irisa.fr/lande/jensen)