From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q25GfKKQ004742 for ; Mon, 5 Mar 2012 17:41:20 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvwFAHXsVE+GnQCBk2dsb2JhbAApGhaieZFeIgEBAQEJCQsJFAMkgnwgHRYYAwIBAgEzGA0GAgEBiAMLKZ8ajlSJT5BdBJU+hWGFMgWHXmw X-IronPort-AV: E=Sophos;i="4.73,534,1325458800"; d="scan'208,217";a="147637529" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Mar 2012 17:41:14 +0100 Received: from liafa1.liafa.jussieu.fr (liafa1.liafa.jussieu.fr [132.227.93.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id q25Gd5wT048568 ; Mon, 5 Mar 2012 17:39:19 +0100 (CET) X-Ids: 165 Received: from kamis.liafa.jussieu.fr (kamis.liafa.jussieu.fr [132.227.81.238]) by liafa1.liafa.jussieu.fr (8.14.5/jtpda-5.3.2) with ESMTP id q25GOlIk025322 ; Mon, 5 Mar 2012 17:24:49 +0100 (CET) Received: by kamis.liafa.jussieu.fr (Postfix) id 1AA0B72475E; Mon, 5 Mar 2012 17:24:35 +0100 (CET) Received: from misc.liafa.jussieu.fr (misc.liafa.jussieu.fr [132.227.81.250]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by kamis.liafa.jussieu.fr (Postfix) with ESMTP id 0AA22724758; Mon, 5 Mar 2012 17:24:35 +0100 (CET) Received: from [132.227.81.251] (liafa2.liafa.jussieu.fr [132.227.81.251]) by misc.liafa.jussieu.fr (8.13.8/jtpda-5.4) with ESMTP id q25GOXeC012138 ; Mon, 5 Mar 2012 17:24:33 +0100 Message-ID: <4F54E8C1.9020000@liafa.jussieu.fr> Date: Mon, 05 Mar 2012 17:24:33 +0100 From: Tayssir Touili User-Agent: Mozilla/5.0 (X11; Linux i686; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2 MIME-Version: 1.0 To: Tayssir Touili Content-Type: multipart/alternative; boundary="------------010009010305030804020708" X-Miltered: at jchkmail.jussieu.fr with ID 4F54EC29.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4F54EC29.002/132.227.93.1/liafa1.liafa.jussieu.fr/liafa1.liafa.jussieu.fr/ X-j-chkmail-Score: MSGID : 4F54EC29.002 on shiva.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.044 -> S=0.044 X-j-chkmail-Status: Ham X-Validation-by: touili@liafa.jussieu.fr Subject: [Caml-list] "Invited researcher" position at LIAFA, Paris, France: Software Analysis This is a multi-part message in MIME format. --------------010009010305030804020708 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Please distribute (apologies for multiple postings): =============================== "Invited researcher" position in LIAFA ======================== Contact: Tayssir TOUILI (touili@liafa.jussieu.fr) An "Invited researcher" position is available in the "Verification" team in LIAFA (CNRS and Univ. Paris Diderot). The topic is the development of new original model-checking and static analysis techniques for the analysis of software and/or concurrent programs. The duration can vary between 4 and 10 months. The position is available immediately. How to apply: ========== Candidates must have a PhD in computer science, or be a PhD student close to finishing. The candidate must send a CV and recommendation letters to Tayssir TOUILI (touili@liafa.jussieu.fr) --------------010009010305030804020708 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Please distribute (apologies for multiple postings):

===============================

"Invited researcher" position in LIAFA
========================

Contact: Tayssir TOUILI (touili@liafa.jussieu.fr)

An "Invited researcher" position is available in the "Verification" team in LIAFA (CNRS and Univ. Paris Diderot).
The topic is the development of new original model-checking and static analysis
techniques for the analysis of software and/or concurrent programs.
The duration can vary between 4 and 10 months.
The position is available immediately.

How to apply:
==========
Candidates must have a PhD in computer science, or be a PhD student close to finishing.
The candidate must send a CV and recommendation letters to Tayssir TOUILI (touili@liafa.jussieu.fr)

--------------010009010305030804020708--