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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id D207EBBAF for ; Fri, 12 Nov 2010 23:15:23 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlAGAPdK3UyBWB4RgWdsb2JhbACBcphcAYgdAQEWIiK+eIVKBIpXixc X-IronPort-AV: E=Sophos;i="4.59,189,1288566000"; d="scan'208,217";a="86887735" Received: from mx2.imag.fr (HELO rominette.imag.fr) ([129.88.30.17]) by mail1-smtp-roc.national.inria.fr with ESMTP; 12 Nov 2010 23:15:23 +0100 Received: from rhin.imag.fr (rhin.imag.fr [147.171.129.2]) by rominette.imag.fr (8.13.8/8.13.8) with ESMTP id oACM7rH1031461 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 12 Nov 2010 23:07:53 +0100 Received: from [IPv6:::1] (ssh2-tima.imag.fr [147.171.129.33]) by rhin.imag.fr (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id oACMEeIZ015184; Fri, 12 Nov 2010 23:14:45 +0100 Mime-Version: 1.0 (Apple Message framework v753.1) Message-Id: Content-Type: multipart/alternative; boundary=Apple-Mail-1--91476618 To: hol-info@lists.sourceforge.net, list@prooftheory.org, logic-list@helsinki.fi, pvs@csl.sri.com, caml-list@yquem.inria.fr, acl2@utlists.utexas.edu Subject: One year post-doc From: Laurence Pierre Date: Fri, 12 Nov 2010 23:27:32 +0100 X-Mailer: Apple Mail (2.753.1) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.2 (rominette.imag.fr [129.88.30.17]); Fri, 12 Nov 2010 23:07:54 +0100 (CET) X-IMAG-MailScanner-Information: Please contact MI2S MIM for more information X-MailScanner-ID: oACM7rH1031461 X-IMAG-MailScanner: Found to be clean X-IMAG-MailScanner-SpamCheck: X-IMAG-MailScanner-From: laurence.pierre@imag.fr MailScanner-NULL-Check: 1290204476.45778@ucbMgXuJSqyslFaTc2Q8RA X-Spam: no; 0.00; post-doc:01 postdoc:01 tima:01 postdoc:01 tima:01 pierre:02 pierre:02 imag:02 imag:02 cedex:02 cedex:02 laboratory:06 laboratory:06 formal:08 formal:08 --Apple-Mail-1--91476618 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Dear colleagues, a one-year postdoc position is available in Grenoble (France). Title: Formal methods for verifying dependability properties for a secured architecture. More information can be found here: http://tima.imag.fr/vds/postdoc.html Best regards, Laurence Pierre --------------- Laurence PIERRE Professor of Computer Science TIMA Laboratory 46 Avenue Felix Viallet F-38031 Grenoble cedex Laurence.Pierre@imag.fr --Apple-Mail-1--91476618 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=US-ASCII
        Dear = colleagues, 

a one-year postdoc position is = available in Grenoble = (France). 

Title: Formal methods for = verifying dependability properties for a secured = architecture. 

More information can be = found here: http://tima.imag.fr/vds/post= doc.html 

Best = regards, 

       = Laurence Pierre 

---------------
Laurence = PIERRE 
Professor of Computer = Science 
TIMA Laboratory 
46 Avenue Felix = Viallet 
F-38031 Grenoble cedex 
= --Apple-Mail-1--91476618--