From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 1F4B37EDD9 for ; Mon, 8 Oct 2012 13:00:36 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of touili@liafa.jussieu.fr) identity=pra; client-ip=134.157.0.129; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="touili@liafa.jussieu.fr"; x-sender="touili@liafa.jussieu.fr"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of touili@liafa.jussieu.fr) identity=mailfrom; client-ip=134.157.0.129; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="touili@liafa.jussieu.fr"; x-sender="touili@liafa.jussieu.fr"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@shiva.jussieu.fr) identity=helo; client-ip=134.157.0.129; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="touili@liafa.jussieu.fr"; x-sender="postmaster@shiva.jussieu.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvICAA6xclCGnQCBe2dsb2JhbAArGhaLWqE0kgAjAQELCwoIFAMkgx8gHRYYAwIBAgEzGA0GAgEBh28DDwQHLJdyjw2HYgOJXpFfA5VrhWKFNQeHf28 X-IronPort-AV: E=Sophos;i="4.80,553,1344204000"; d="scan'208,217";a="158244461" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Oct 2012 13:00:34 +0200 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 q98AwveZ070993 ; Mon, 8 Oct 2012 12:59:11 +0200 (CEST) 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 q98Am084024612 ; Mon, 8 Oct 2012 12:48:00 +0200 (CEST) Received: by kamis.liafa.jussieu.fr (Postfix) id 47361724761; Mon, 8 Oct 2012 12:47:43 +0200 (CEST) Delivered-To: cav-10@liafa.jussieu.fr Received: from liafa1.liafa.jussieu.fr (liafa1.liafa.jussieu.fr [132.227.93.1]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by kamis.liafa.jussieu.fr (Postfix) with ESMTP id 2D57F724758; Mon, 8 Oct 2012 12:47:43 +0200 (CEST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by liafa1.liafa.jussieu.fr (8.14.5/jtpda-5.3.2) with ESMTP id q98Alhe5013627 ; Mon, 8 Oct 2012 12:47:43 +0200 (CEST) Received: from korolev.univ-paris7.fr (korolev.univ-paris7.fr [194.254.61.138]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id q98AlBDH095099 ; Mon, 8 Oct 2012 12:47:29 +0200 (CEST) X-Ids:165 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/38117) with ESMTP id q98AlHBd029428; Mon, 8 Oct 2012 12:47:17 +0200 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 10EC915CF0D; Mon, 8 Oct 2012 12:47:07 +0200 (CEST) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id XE8VoiBvyYk8; Mon, 8 Oct 2012 12:47:05 +0200 (CEST) Received: from [132.227.81.251] (liafa2.liafa.jussieu.fr [132.227.81.251]) (Authenticated sender: touili) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 1E1A715CEEF; Mon, 8 Oct 2012 12:47:04 +0200 (CEST) Message-ID: <5072AF27.7070100@liafa.jussieu.fr> Date: Mon, 08 Oct 2012 12:47:03 +0200 From: Tayssir Touili User-Agent: Mozilla/5.0 (X11; Linux i686; rv:15.0) Gecko/20120907 Thunderbird/15.0.1 MIME-Version: 1.0 To: Tayssir Touili Content-Type: multipart/alternative; boundary="------------030300030703070505040501" X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [194.254.61.138]); Mon, 08 Oct 2012 12:47:18 +0200 (CEST) X-Miltered: at jchkmail.jussieu.fr with ID 5072B1F1.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at jchkmail.jussieu.fr with ID 5072AF2F.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 5072B1F1.002/132.227.93.1/liafa1.liafa.jussieu.fr/liafa1.liafa.jussieu.fr/ X-j-chkmail-Enveloppe: 5072AF2F.001/194.254.61.138/korolev.univ-paris7.fr/korolev.univ-paris7.fr/ X-j-chkmail-Score: MSGID : 5072B1F1.002 on shiva.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.052 -> S=0.052 X-j-chkmail-Score: MSGID : 5072AF2F.001 on shiva.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.052 -> S=0.052 X-j-chkmail-Status: Ham 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. --------------030300030703070505040501 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 October 2013. Candidates must have a PhD in computer science (defense before October 2013). The candidate must send a CV and recommendation letters to Tayssir TOUILI (touili@liafa.jussieu.fr) --------------030300030703070505040501 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 October 2013.
Candidates must have  a PhD in  computer science (defense before October 2013).
The candidate must send a CV  and recommendation letters to Tayssir TOUILI   (touili@liafa.jussieu.fr)


--------------030300030703070505040501--