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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6F05C7EEFA for ; Tue, 23 Jun 2015 16:39:34 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mauny.inria@gmail.com) identity=pra; client-ip=209.85.212.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="mauny.inria@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mauny.inria@gmail.com designates 209.85.212.172 as permitted sender) identity=mailfrom; client-ip=209.85.212.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="mauny.inria@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f172.google.com) identity=helo; client-ip=209.85.212.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="postmaster@mail-wi0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AVAQAhb4lVlKzUVdFbg2RfglhGthyGGoJEgzSBTEwBAQEBAQESAQEBAQcLCwkfMIQkARAGER0BEh4HAgMNBQMjFgsCBAcDAgECASIBBQEiCgMIAQEQBweHeAMSBAEImHEZAY0ggzE+MYs/hGSBcIlUJw2GDQEFDpA9gnSBQwWMEIdvgiSBUGSEB4JygTpCg06FaYknghE1SE0XSSmDGW2CSAEBAQ X-IPAS-Result: A0AVAQAhb4lVlKzUVdFbg2RfglhGthyGGoJEgzSBTEwBAQEBAQESAQEBAQcLCwkfMIQkARAGER0BEh4HAgMNBQMjFgsCBAcDAgECASIBBQEiCgMIAQEQBweHeAMSBAEImHEZAY0ggzE+MYs/hGSBcIlUJw2GDQEFDpA9gnSBQwWMEIdvgiSBUGSEB4JygTpCg06FaYknghE1SE0XSSmDGW2CSAEBAQ X-IronPort-AV: E=Sophos;i="5.13,666,1427752800"; d="txt'?scan'208";a="166883099" Received: from mail-wi0-f172.google.com ([209.85.212.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jun 2015 16:39:33 +0200 Received: by wicgi11 with SMTP id gi11so18971097wic.0 for ; Tue, 23 Jun 2015 07:39:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:message-id:date:reply-to:organization:user-agent :mime-version:to:subject:content-type; bh=lX+fm1vdq/pSFa5MYgixRRsmKOnWb8/gbKtuIKYC8ZM=; b=mfqEa6jPj/VS0me+pmi5Pt0djGzIamlTdsZbPQQAVipaSPXgMnYULz7uS4i7MgETtS tQNK6vKLY/cXP0/rSxVt+Mq3Wk1u3khsbCdWpqQbArt+hOC7A53T860m31vNUr60GSXo Po53bus5/vURWICe05BHhssoIy4SlAyGb84ISEi5oGINJahZfO0lZqW5G0ZVaojPgkHm nrBnz0beWvoP5YJjW77gV1jVQeuBK/8K2IuojgBjUj0vMuzXjsI3qbK8SM6VvDh9vnEd Qkj+u/gE2KHWeb6tGmOwIcje4QFeWm6cBLHSXLDwk+FQ4LvNuas7Nn3cGlrmlK4IvKRw 1whg== X-Received: by 10.194.23.106 with SMTP id l10mr62526619wjf.1.1435070373732; Tue, 23 Jun 2015 07:39:33 -0700 (PDT) Received: from pcmm.ensta.fr (finiasz.net. [94.23.15.65]) by mx.google.com with ESMTPSA id gt10sm22671368wib.20.2015.06.23.07.39.32 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 23 Jun 2015 07:39:32 -0700 (PDT) Sender: Michel Mauny From: Michel Mauny X-Google-Original-From: Michel Mauny Message-ID: <55896F98.5080001@inria.fr> Date: Tue, 23 Jun 2015 16:39:20 +0200 Reply-To: michel.mauny@inria.fr Organization: ENSTA-ParisTech User-Agent: Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.8.1.6) Gecko/20070728 Thunderbird/6.0.1 Mnenhy/0.7.5.0 MIME-Version: 1.0 To: Caml List Content-Type: multipart/mixed; boundary="------------090605080709000609080302" Subject: [Caml-list] Post-doctoral position available at ENSTA-ParisTech - Secure-OCaml project This is a multi-part message in MIME format. --------------090605080709000609080302 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Dear all, We have a post-doctoral position available at ENSTA-ParisTech (Palaiseau, France), to be filled as soon as possible, on the Secure-OCaml project. See attached file for more information. Sorry for multiple postings and don't hesitate to transfert this announce to whom could be interested. -- Michel Mauny michel.mauny ensta.fr ENSTA ParisTech --------------090605080709000609080302 Content-Type: text/plain; charset=UTF-8; name="postdoc-secureocaml.txt" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="postdoc-secureocaml.txt" KCoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCiAqCiAqIFNlY3Vy ZS1PQ2FtbCAtIENoZWNraW5nIHNhZmV0eSBhbmQgc2VjdXJpdHkgcHJvcGVy dGllcyBvZiBPQ2FtbCBwcm9ncmFtcwogKgogKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKQoKCigqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqCiAqIEVuZ2xpc2ggKFZvaXIgcGx1cyBiYXMgcG91ciB1bmUgdmVy c2lvbiBmcmFuw6dhaXNlLikKICoqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKiopCgpPZmZlcjogcG9zdGRvYwpQdWJsaWNhdGlvbiBkYXRlOiBKdW5l IDIzIDIwMTUKV29ya3BsYWNlOiBFTlNUQS1QYXJpc1RlY2gsIFBhbGFpc2Vh dQogICAgICAgICAgIChzZWUgaHR0cDovL3d3dy5lbnN0YS1wYXJpc3RlY2gu ZnIvZW4vZ2V0dGluZy1lbnN0YS1wYXJpc3RlY2gpCkR1cmF0aW9uOiBmcm9t IDEyIHRvIDI0IG1vbnRocwpTdGFydGluZzogQVNBUApTYWxhcnk6IGZyb20g MjIwMCDigqwgdG8gMjQwMCDigqwgbmV0IHBlciBtb250aCAoaW5jbC4gc29j aWFsIHNlY3VyaXR5KQoKTWlzc2lvbjogZGVzaWduIGFuZCBpbXBsZW1lbnQg bGlicmFyaWVzIGZvciB2ZXJpZnlpbmcgc2FmZXR5IGFuZCBzZWN1cml0eSBw cm9wZXJ0aWVzIG9mIGR5bmFtaWNhbGx5IGxvYWRlZCBPQ2FtbCBjb2RlIGFu ZCBkYXRhLgoKRGVzY3JpcHRpb246IFRoZSBTZWN1cmUtT0NhbWwgcHJvamVj dCBhaW1zIGF0IGFkYXB0aW5nIHRoZSBPQ2FtbCBsYW5ndWFnZSAgdG8gdGhl IGRldmVsb3BtZW50IG9mIGFwcGxpY2F0aW9ucyBpbnZvbHZpbmcgc2VjdXJp dHkgaXNzdWVzLiBUaGUgcHJvamVjdCBnYXRoZXJzIHRoZSBmb2xsb3dpbmcg aW5kdXN0cmlhbCBhbmQgYWNhZGVtaWMgcGFydG5lcnM6IE9DYW1sUHJvLCBT YWZlUml2ZXIsIExleGlGaSwgVHJ1c3RJblNvZnQsIElOUklBLCBFTlNUQS1Q YXJpc1RlY2gsIENFQSwgYW5kIFRydXN0ZWQgTGFicy4KCkFtb25nIHRoZSBv YmplY3RpdmVzIG9mIHRoZSBTZWN1cmUtT0NhbWwgcHJvamVjdCwgdGhlIHNh ZmV0eSBvZiBkeW5hbWljYWxseSBsb2FkZWQgY29kZSBhbmQgZGF0YSBpcyBh IHBhcnRpY3VsYXJseSBpbXBvcnRhbnQgaXNzdWUuIEluIHRoZSBzYW1lIHdh eSBhcyBzdGF0aWMgdHlwaW5nIGVuc3VyZXMgc2FmZXR5IHByb3BlcnRpZXMg YWJvdXQgc3RhdGljYWxseSBsaW5rZWQgY29kZSwgYXBwbGljYXRpb25zIHNo b291bGQgYmUgYWJsZSB0byBoYXZlIHNpbWlsYXIgZW5zdXJhbmNlIGFib3V0 IGR5bmFtaWNhbGx5IGxvYWRlZCBjb2RlIGFuZCBkYXRhLgogClRoZSBwb3N0 ZG9jJ3MgbWlzc2lvbiB3aWxsIGJlIHRvIHN0dWR5IHRoZXNlIHByb2JsZW1z IGFuZCBicmluZyBlZmZlY3RpdmUgc29sdXRpb25zIHRoYXQgc2hhbGwgYmUg bWFkZSBmcmVlbHkgYXZhaWxhYmxlIHRvIHRoZSBPQ2FtbCBjb21tdW5pdHku CgpUaGlzIHdvcmsgd2lsbCBiZSByZWFsaXplZCBpbiBjb29wZXJhdGlvbiB3 aXRoIElOUklBLVBhcmlzIGFuZCBPQ2FtbHBybyBTQVMuCgpQcm9maWxlIHNv dWdodDoKCiAgLSBza2lsbHMgaW4gdHlwaW5nIGFuZCBjb21waWxhdGlvbgog IC0gc3Ryb25nIGNhcGFiaWxpdGllcyBhbmQgdGFzdGUgaW4gZnVuY3Rpb25h bCBwcm9ncmFtbWluZyBpbiBnZW5lcmFsIGFuZCBPQ2FtbCBpbiBwYXJ0aWN1 bGFyCiAgLSBhIGtub3dsZWRnZSBvZiB0aGUgT0NhbWwgY29tcGlsZXIgaXMg YW4gYWRkaXRpb25hbCBhZHZhbnRhZ2UKCkNvbnRleHQgb2YgdGhlIGpvYjog RU5TVEEtUGFyaXNUZWNoIGlzIGEgZnJlbmNoICh0b3AgdGVuKSBlbmdpbmVl cmluZyBzY2hvb2xzLCBsb2NhdGVkIGF0IFBhbGFpc2VhdSwgb24gYSBjYW1w dXMgc2hhcmVkIHdpdGggSU5SSUEgYW5kIEVjb2xlIFBvbHl0ZWNobmlxdWUu IFRoZSByZXNlYXJjaCBncm91cCAiU29mdHdhcmUgU2FmZXR5IGFuZCBSZWxp YWJpbGl0eSBvZiBTb2Z0d2FyZSIgaXMgcGFydCBvZiBFTlNUQSdzIENvbXB1 dGVyIFNjaWVuY2UgYW5kIFN5c3RlbSBFbmdpbmVlcmluZyBEZXBhcnRtZW50 LCBhbmQgYWltcyBhdCBpbXByb3ZpbmcgdGVjaG5pcXVlcyBvZiBkZXZlbG9w bWVudCwgYW5hbHlzaXMgYW5kIHZlcmlmaWNhdGlvbiBvZiBzb2Z0d2FyZS4K CkZvciBtb3JlIGluZm9ybWF0aW9uLCBjb250YWN0OgoKICAtIG1pY2hlbC5t YXVueSA8YXQ+IGVuc3RhLXBhcmlzdGVjaCA8ZG90PiBmcgogIC0gKzMzIDEg ODE4NyAyMDMyCgpUbyBhcHBseSwgc2VuZCB0aGUgZm9sbG93aW5nIGRvY3Vt ZW50cyB0byBtaWNoZWwubWF1bnkgPGF0PiBlbnN0YS1wYXJpc3RlY2ggPGRv dD4gZnI6CgogIC0geW91ciByZXN1bWUsIHdpdGggYSBsaXN0IG9mIHB1Ymxp Y2F0aW9ucwogIC0gYSBtb3RpdmF0aW9uIGxldHRlcgogIC0gdGhlIG5hbWUg YW5kIGFkZHJlc3MgKGUtbWFpbCkgb2YgdHdvIHBlcnNvbnMgd2hvIGNvdWxk IHdyaXRlIGEgcmVjb21tZW5kYXRpb24KCkFwcGxpY2F0aW9ucyB3aWxsIGJl IHJlY2VpdmVkIGFzIGxvbmcgYXMgdGhlIHBvc2l0aW9uIHJlbWFpbnMgYXZh aWxhYmxlLiBQbGVhc2UgY2hlY2sgYXQ6CgogIGh0dHA6Ly91MmlzLmVuc3Rh LXBhcmlzdGVjaC5mci9tZW1iZXJzL21hdW55LwoKdGhhdCB0aGUgcG9zaXRp b24gaXMgc3RpbGwgYXZhaWxhYmxlLgoKCigqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqCiAqIEZyYW7Dp2FpcyAoU2VlIGFib3ZlIGZvciBhbiBl bmdsaXNoIHZlcnNpb24uKQogKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKikKClR5cGUgZCdvZmZyZSA6IHBvc3QtZG9jdG9yYW50CkRhdGUgZGUg cHVibGljYXRpb24gOiAyMyBqdWluIDIwMTUKTGlldSBkZSB0cmF2YWlsIDog RU5TVEEtUGFyaXNUZWNoLCBQYWxhaXNlYXUKRHVyw6llIDogZGUgMTIgw6Ag MjQgbW9pcwpEYXRlIGRlIGTDqWJ1dCA6IGTDqHMgcXVlIHBvc3NpYmxlClNh bGFpcmUgOiBlbnRyZSAyMjAwIOKCrCBldCAyNDAwIOKCrCBuZXRzIHBhciBt b2lzIChzw6ljdXJpdMOpIHNvY2lhbGUgaW5jbHVzZSkKClRow6htZXMgOiBM YW5nYWdlcyBkZSBwcm9ncmFtbWF0aW9uLCBjb21waWxhdGlvbiwgdHlwYWdl LCBPQ2FtbAoKTWlzc2lvbiA6IGNvbmNldm9pciBldCByw6lhbGlzZXIgZGVz IGJpYmxpb3Row6hxdWVzIHBlcm1ldHRhbnQgZGUgdsOpcmlmaWVyIGRlcyBw cm9wcmnDqXTDqXMgZGUgc8O7cmV0w6kgZXQgZGUgc8OpY3VyaXTDqSBkZSBj b2RlcyBldCBkb25uw6llcyBjaGFyZ8OpZXMgZHluYW1pcXVlbWVudCBwYXIg ZGVzIGFwcGxpY2F0aW9ucyBPQ2FtbC4KCkRlc2NyaXB0aWYgZHUgcG9zdGUg OiBMZSBwcm9qZXQgU2VjdXJlLU9DYW1sIChGVUkxOCkgYSBwb3VyIG9iamVj dGlmIGQnYWRhcHRlciBsZSBsYW5nYWdlIE9DYW1sIGF1IGTDqXZlbG9wcGVt ZW50IGQnYXBwbGljYXRpb25zIHByw6lzZW50YW50IGRlcyBlbmpldXggZGUg c8OpY3VyaXTDqS4gTGUgcHJvamV0IHLDqXVuaXQgbGVzIHBhcnRlbmFpcmVz IGluZHVzdHJpZWxzIGV0IGFjYWTDqW1pcXVlcyBzdWl2YW50cyA6IE9DYW1s UHJvLCBTYWZlUml2ZXIsIExleGlGaSwgVHJ1c3RJblNvZnQsIElOUklBLCBF TlNUQS1QYXJpc1RlY2gsIENFQSwgZXQgVHJ1c3RlZCBMYWJzLgoKUGFybWkg bGVzIG9iamVjdGlmcyBkdSBwcm9qZXRzIFNlY3VyZS1PQ2FtbCwgbGEgZmlh YmlsaXTDqSBkdSB0cmFpdGVtZW50IGRlcyBkb25uw6llcyBldCBjb2RlcyBj aGFyZ8OpcyBkeW5hbWlxdWVtZW50IGVzdCB1biBlbmpldSBwYXJ0aWN1bGnD qHJlbWVudCBpbXBvcnRhbnQgOiBlbiBlZmZldCwgbGUgdHlwYWdlIHN0YXRp cXVlIGVmZmVjdHXDqSBwYXIgbGUgY29tcGlsYXRldXIgT0NhbWwgZm91cm5p dCBkZXMgZ2FyYW50aWVzIGZvcnRlcyBhdXggYXBwbGljYXRpb25zLiBFbiBy ZXZhbmNoZSwgbG9ycyBkdSBjaGFyZ2VtZW50IGR5bmFtaXF1ZSBkJ3VuIGNv ZGUgb3UgZCd1bmUgZG9ubsOpZSwgdW5lIGFwcGxpY2F0aW9uIG4nYSBhdWN1 bmUgbCdhc3N1cmFuY2UgcXVlIGNlIGNvZGUgb3UgY2V0dGUgZG9ubsOpZSBl c3QgY29uZm9ybWUgYXV4IGh5cG90aMOoc2VzIHF1J2VsbGUgZmFpdC4KCkxh IG1pc3Npb24gZHUgcG9zdC1kb2N0b3JhbnQgc2VyYSBkJ8OpdHVkaWVyIGNl cyBwcm9ibMOobWVzIGV0IGQneSBhcHBvcnRlciBkZXMgc29sdXRpb25zIHF1 aSBzZXJvbnQgcmVuZHVlcyBsaWJyZW1lbnQgZGlzcG9uaWJsZXMgc291cyBm b3JtZSBkZSBiaWJsaW90aMOocXVlcy4KCkNlIHRyYXZhaWwgc2VyYSByw6lh bGlzw6kgZW4gw6l0cm9pdGUgY29vcMOpcmF0aW9uIGF2ZWMgSU5SSUEtUGFy aXMgZXQgT0NhbWxwcm8gU0FTLgoKUHJvZmlsIHJlY2hlcmNow6kgOgoKICAt IGNvbXDDqXRlbmNlcyBmb3J0ZXMgZW4gdHlwYWdlIGV0IGNvbXBpbGF0aW9u CiAgLSBnb8O7dCBhZmZpcm3DqSBwb3VyIGxlIGTDqXZlbG9wcGVtZW50IE9D YW1sCiAgLSBsYSBjb25uYWlzc2FuY2UgZGUgbGEgY2hhw65uZSBkZSBjb21w aWxhdGlvbiBkJ09DYW1sIGVzdCB1biBhdG91dCBzdXBwbMOpbWVudGFpcmUK CkNvbnRleHRlIGRlIHRyYXZhaWwgOiBsJ0VOU1RBLVBhcmlzVGVjaCBlc3Qg dW5lIEdyYW5kZSDDiWNvbGUgZOKAmWluZ8OpbmlldXJzIGfDqW7DqXJhbGlz dGUsIGxvY2FsaXPDqWUgw6AgUGFsYWlzZWF1LCBzdXIgdW4gY2FtcHVzIHF1 J2VsbGUgcGFydGFnZSBhdmVjIGwnw4tjb2xlIFBvbHl0ZWNobmlxdWUuIEwn w6lxdWlwZSDCqyBTw7tyZXTDqSBldCBGaWFiaWxpdMOpIGRlcyBMb2dpY2ll bHMgwrsgKGh0dHA6Ly91MmlzLmVuc3RhLXBhcmlzdGVjaC5mci9ncm91cHMv U0wvKSBkZSBsJ1VuaXTDqSBkJ0luZm9ybWF0aXF1ZSBldCBkJ0luZ8Opbmll cmllIGRlcyBTeXN0w6htZXMgwrsgdmlzZSDDoCBjb250cmlidWVyIMOgIGwn YW3DqWxpb3JhdGlvbiBkZXMgdGVjaG5pcXVlcyBkZSBkw6l2ZWxvcHBlbWVu dCwgZCdhbmFseXNlIGV0IGRlIHbDqXJpZmljYXRpb24gZGVzIGxvZ2ljaWVs cy4KCkluZm9ybWF0aW9ucyBjb21wbMOpbWVudGFpcmVzIDoKCiAgLSBtaWNo ZWwubWF1bnkgPGF0PiBlbnN0YS1wYXJpc3RlY2ggPGRvdD4gZnIKICAtICsz MyAxIDgxODcgMjAzMgoKUG91ciBjYW5kaWRhdGVyLCBlbnZveWVyIMOgIG1p Y2hlbC5tYXVueSA8YXQ+IGVuc3RhLXBhcmlzdGVjaCA8ZG90PiBmciBsZXMg ZG9jdW1lbnRzIHN1aXZhbnRzIDoKCiAgLSBDViBhdmVjIGxpc3RlIGRlIHB1 YmxpY2F0aW9ucwogIC0gbGV0dHJlIGRlIG1vdGl2YXRpb24KICAtIGNvb3Jk b25uw6llcyBkZSBkZXV4IHBlcnNvbm5lcyBlbiBtZXN1cmUgZGUgcmVjb21t YW5kZXIgbGUgY2FuZGlkYXQKCkxlcyBjYW5kaWRhdHVyZXMgc2Vyb250IGV4 YW1pbsOpZXMganVzcXUnw6AgY2UgcXUndW4gY2FuZGlkYXQgc29pdAphY2Nl cHTDqS4gTWVyY2kgZGUgdsOpcmlmaWVyIHN1cgoKICBodHRwOi8vdTJpcy5l bnN0YS1wYXJpc3RlY2guZnIvbWVtYmVycy9tYXVueS8KCnF1ZSBsJ29mZnJl IGVzdCBlbmNvcmUgZGlzcG9uaWJsZSBhdmFudCBkZSBjYW5kaWRhdGVyLgoK Cg== --------------090605080709000609080302--