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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5D1197EEBF; Mon, 20 Jul 2015 16:14:18 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of B.Boyer@fr.merce.mee.com) identity=pra; client-ip=194.8.120.225; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="B.Boyer@fr.merce.mee.com"; x-sender="B.Boyer@fr.merce.mee.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of B.Boyer@fr.merce.mee.com) identity=mailfrom; client-ip=194.8.120.225; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="B.Boyer@fr.merce.mee.com"; x-sender="B.Boyer@fr.merce.mee.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@msgsrv3.atosorigin.de) identity=helo; client-ip=194.8.120.225; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="B.Boyer@fr.merce.mee.com"; x-sender="postmaster@msgsrv3.atosorigin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DWAABSAa1VnOF4CMJcg2dpBrptgnqFcwKBKEwBAQEBAQESAQEBAQEGDQkJIS6EJQMCcxQEASo/FyYBBAEaiCoJxz8EkB2DT4EUBYxwh2KEM4g7h3sZkCaEIj4xAQGBRYEEAQEB X-IPAS-Result: A0DWAABSAa1VnOF4CMJcg2dpBrptgnqFcwKBKEwBAQEBAQESAQEBAQEGDQkJIS6EJQMCcxQEASo/FyYBBAEaiCoJxz8EkB2DT4EUBYxwh2KEM4g7h3sZkCaEIj4xAQGBRYEEAQEB X-IronPort-AV: E=Sophos;i="5.15,508,1432591200"; d="scan'208";a="140648253" Received: from msgsrv3.atosorigin.de ([194.8.120.225]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Jul 2015 16:14:17 +0200 Received: from unknown (HELO megmsg75.meg.mee.com) ([10.193.56.17]) by msgsrv-out1.atosorigin.de with ESMTP; 20 Jul 2015 16:14:15 +0200 Received: from (unknown [10.193.56.17]) by MCS02-MA1.atosorigin.de with smtp id 3767_b6f8_99a0ad1e_2ee9_11e5_907c_d485644ee6f0; Mon, 20 Jul 2015 16:14:15 +0200 Received: from server21.tcl.ite.mee.com (10.226.206.44) by mailgw.meg.mee.com (10.226.120.82) with Microsoft SMTP Server id 14.3.181.6; Mon, 20 Jul 2015 16:14:13 +0200 Received: from SERVER21.tcl.ite.mee.com ([10.226.206.44]) by server21.tcl.ite.mee.com ([10.226.206.44]) with mapi id 14.03.0123.003; Mon, 20 Jul 2015 16:14:08 +0200 From: Benoit Boyer To: "coq-club-request@inria.fr" , "caml-list@inria.fr" Thread-Topic: PhD position announcement Thread-Index: AdDC9lazTXyYUDaUQ+Kzwt+a/izf+w== Date: Mon, 20 Jul 2015 14:14:07 +0000 Message-ID: <147A8F42B4B1584492A2B71D15985683F28C35@server21.tcl.ite.mee.com> Accept-Language: fr-FR, en-US Content-Language: fr-FR X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.226.206.84] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-PP-Proceessed: 0d525420-572d-45da-92db-65d8fd7fc083 Subject: [Caml-list] PhD position announcement CEA LIST and Mitsubishi Electric R&D Centre Europe opened a PhD position en= titled "Mixing Unproved and Proved sub-systems through Contracts for Correct-by-Co= nstruction system design" Position description and more details are available at http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1507_Annonce_Form= al%20methods_PhD_201510_EN.pdf Do not hesitate to ask questions! Sincerely yours, Beno=EEt Boyer. --=20 Beno=EEt Boyer, PhD Research engineer, Formal Methods and tools MITSUBISHI ELECTRIC R&D Centre Europe (MERCE) Phone: +33 2 23 45 58 27 / Fax: +33 2 23 45 58 59=20 http://www.fr.mitsubishielectric-rce.eu