From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1KETqSm030178 for ; Mon, 20 Feb 2012 15:29:52 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvEGAFhYQk+GnQCBcGdsb2JhbAAqGhagDpEvIgEMCA4HFAMkgxIdNAI0GA0GAgEBiAUpmTqOVJFBjFsKBgMCg1kFOAQSgywElTeFXYUyBYdaaw X-IronPort-AV: E=Sophos;i="4.73,451,1325458800"; d="scan'208,217";a="132140450" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Feb 2012 15:29:46 +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 q1KESMNI088566 ; Mon, 20 Feb 2012 15:28:36 +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.3/jtpda-5.3.2) with ESMTP id q1KEJ7nn030153 ; Mon, 20 Feb 2012 15:19:07 +0100 (CET) Received: by kamis.liafa.jussieu.fr (Postfix) id EFE9B72475E; Mon, 20 Feb 2012 15:18:52 +0100 (CET) Delivered-To: cav-10@liafa.jussieu.fr 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 E4076724758; Mon, 20 Feb 2012 15:18:52 +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 q1KEIq1U008706 ; Mon, 20 Feb 2012 15:18:52 +0100 Message-ID: <4F42564C.902@liafa.jussieu.fr> Date: Mon, 20 Feb 2012 15:18:52 +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="------------090909090804020306040104" X-Miltered: at jchkmail.jussieu.fr with ID 4F425886.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4F425886.002/132.227.93.1/liafa1.liafa.jussieu.fr/liafa1.liafa.jussieu.fr/ X-j-chkmail-Score: MSGID : 4F425886.002 on shiva.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.054 -> S=0.054 X-j-chkmail-Status: Ham X-Validation-by: touili@liafa.jussieu.fr Subject: [Caml-list] Postdoc position at LIAFA, Paris, France: Model-checking for malware detection This is a multi-part message in MIME format. --------------090909090804020306040104 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Please distribute (apologies for multiple postings): =============================== Postdoc position in LIAFA ================== Contact: Tayssir TOUILI (touili@liafa.jussieu.fr) A Postdoc position is available in the "Verification" team in LIAFA, Paris. The topic is the development of new original model-checking and static analysis techniques for malware detection. How to apply: ========== The position is available from March 2012. Candidates must have a PhD in computer science. The candidate must send a CV and recommendation letters to Tayssir TOUILI (touili@liafa.jussieu.fr) --------------090909090804020306040104 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Please distribute (apologies for multiple postings):

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

Postdoc position in LIAFA
==================

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

A Postdoc position is available in the "Verification" team in LIAFA, Paris.
The topic is the development of new original model-checking and static analysis
techniques for malware detection.

How to apply:
==========
The position is available from March 2012. Candidates must have a PhD in computer science.
The candidate must send a CV and recommendation letters to Tayssir TOUILI (touili@liafa.jussieu.fr)

--------------090909090804020306040104--