From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 5CD4D5D5 for ; Tue, 4 Jun 2019 12:23:30 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,550,1549926000"; d="scan'208";a="385919690" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Jun 2019 14:23:29 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0757F826E2; Tue, 4 Jun 2019 14:23:29 +0200 (CEST) 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 2FD5E8247D; Tue, 4 Jun 2019 14:23:23 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=david.mentre@bentobako.org; spf=Pass smtp.mailfrom=david.mentre@bentobako.org; spf=None smtp.helo=postmaster@tempura.bentobako.org IronPort-PHdr: =?us-ascii?q?9a23=3AaLTOcBwc+TWKv3zXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0usTLfad9pjvdHbS+e9qxAeQG9mCsrQd0Lud7viocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSexbalvIBi4qQjduckbjZd/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTlkz?= =?us-ascii?q?kMOSIn/27Li8xwlKNbrwynpxxj2I7ffYWZOONjcq/BYd8WQGxMVdtTWSNcGIOx?= =?us-ascii?q?d5UBAeocM+hboYfyqVQBogexCwS3GOPiySVFimPq0aA00eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtNv7O70MUeC00abH1TLNYfxO1znj9IbNbg0qrPaRUr1qb8rRyFQgGxnAjlqO?= =?us-ascii?q?r4zlIymV2foWvmeA8eVgU/6vi2k8pA5roTivwd0gio7ThoIa013J8zhyzogyJd?= =?us-ascii?q?29UkF7YNikHYNVtyGbK4t2Wd4iTHppuCYhyr0GuIC0fCwUx5s72x7fcf2HfJSR?= =?us-ascii?q?7hL5SOmePy10i2x4eL+5mh288lCgx/X4W8S7ylpGsCRInsPCu30JzRDe68eKRu?= =?us-ascii?q?N580qhwzqDyh7f5+JeLUwpmqfWL4QtzqAsmpYNt0nIAzX4l1/sjKCMc0Up4uio?= =?us-ascii?q?5PrjYrXhvpKcK5F7igTmMqQzgMywG/40PRMQUGid5eS806bs8lf6QLVNlPE2lb?= =?us-ascii?q?PZsJ/CKcQaoK62HRNV354n5huwFTuqztoVkWMJIV9BYh6KjofkN0nLIP/iDPe/?= =?us-ascii?q?h1qskC1sx/DDJrDuH4/CLmbCkLj8Z7p97lBTyAwvzdBF+Z1ZEaoOL+z1Wk/ts9?= =?us-ascii?q?zXFQU2Mw+zw+r9D9V9zIweVXqVAqCFKKPSrUOI5uU3LuaQfoAVvTL9J+Eh5/7v?= =?us-ascii?q?ln85hUQQfbKp3JsScHC3BO5qI0SfYXr2g9cOC30GvgQkTObykl2NTSZTZ2quX6?= =?us-ascii?q?I7/jw0FIWmDZ7aSo+xhLyBwTy0E4ZNZmFGD1CMCW3ne5+FW/cKciKSI9VuniYK?= =?us-ascii?q?Vbi7GMcd0kSlsxa/wL56JMLV/DcZvNTtzpw9+O3CzlQ58SF+J8CcyH2WCW56mX?= =?us-ascii?q?kHSnk32rp+qApz0BPL0LNxifFcEdEW+uhESBwSPpqaxOV/Tdn5HB/COp+uY1+j?= =?us-ascii?q?Rp2iACotBoY6ytoKJkJ8AMmKjxbZ3iPsDaVD0/SQHJUu8fiEhiS0K8dmwGvdz4?= =?us-ascii?q?EljkI6WY1GOWStgbRysQPUAsqBnV6FnrzvfqAB1gbJ9Xyf1iyBskZCXwM2UKPf?= =?us-ascii?q?XHlZaFGS5drj70bLCrTrBbU8ORZa0uaGK7BWcZvmg1JcS/qlOdLEYmv3lX30TR?= =?us-ascii?q?yGwamRaaLuen4B0T6bCUYfjxwa5zCIL1sQHCCk9k7XEj1iInfCRX/WUKEqpHql?= =?us-ascii?q?T0NyygyMc1ds/7C4/AISj/WfTLUUxL1S63RpkCl9AFvoh4GeMNGHvQc0OfwEOY?= =?us-ascii?q?pgsmcC7nrQsklGBrLlL61mgQRFIRh6ulvzzRwxAIhGjc8gpXAtig1oJvDAiQIT?= =?us-ascii?q?R3ajxZn1f4bvBCz39RGrZbTR3wiDgtyb/LsI4v07rBPkpg77TxN+oUUi6MFc1j?= =?us-ascii?q?6n3ruPFBAbCM+jWEsx6x9wrrLdJC4n6NGM2A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AyBAATYvZc/0AnF15mDhABHwYHgU6CD?= =?us-ascii?q?2pSMiiEFJMIgWAIOYNLlBmCYAkBAwEMJQcBAgEBhxQbBwEENBMBAwEBBAEBAgE?= =?us-ascii?q?BAwFsHAyCOikBgmslDwEFNkACJgJfAQwIAQGDHgGCDgEKpzyBMYQyARFDQINkg?= =?us-ascii?q?Q+BDCiEbYZtghaBOAyCMYNNAQKEaoJYBIs0CxsknQcHAh+BcYVnix6CKyGMc4o?= =?us-ascii?q?DAY0KlkyBZiGBWH2DLwmGd4kXPT0zAQGBBAEBkEoBAQ?= X-IPAS-Result: =?us-ascii?q?A0AyBAATYvZc/0AnF15mDhABHwYHgU6CD2pSMiiEFJMIgWA?= =?us-ascii?q?IOYNLlBmCYAkBAwEMJQcBAgEBhxQbBwEENBMBAwEBBAEBAgEBAwFsHAyCOikBg?= =?us-ascii?q?mslDwEFNkACJgJfAQwIAQGDHgGCDgEKpzyBMYQyARFDQINkgQ+BDCiEbYZtgha?= =?us-ascii?q?BOAyCMYNNAQKEaoJYBIs0CxsknQcHAh+BcYVnix6CKyGMc4oDAY0KlkyBZiGBW?= =?us-ascii?q?H2DLwmGd4kXPT0zAQGBBAEBkEoBAQ?= X-IronPort-AV: E=Sophos;i="5.60,550,1549926000"; d="scan'208";a="385919642" X-MGA-submission: =?us-ascii?q?MDEmWCac3eSPN73F9mbw6YGDLqn/D1LjCP7Vkv?= =?us-ascii?q?RKGKaHfOgO26oDzn5vAG0umaT4kbqnlvndniSDmRJ7qbfAl/7YHoyQJG?= =?us-ascii?q?6l2mEOGOBdZ4SqoADMk9pz1fRsLY9NqdXtEluq8qT5e34lXisT2GVuTx?= =?us-ascii?q?FzstGX88gSWtCsoseSPvZXqQ=3D=3D?= Received: from tempura.bentobako.org ([94.23.39.64]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Jun 2019 14:23:22 +0200 Received: from [10.0.2.15] (unknown [95.128.149.202]) by tempura.bentobako.org (Postfix) with ESMTPSA id 1530B45B9; Tue, 4 Jun 2019 14:23:21 +0200 (CEST) To: coq-club@inria.fr, why3-club@lists.gforge.inria.fr, isabelle-users@cl.cam.ac.uk, OCaml list , spark2014-discuss@lists.adacore.com, fstar-club@lists.gforge.inria.fr, frama-c-discuss@lists.gforge.inria.fr, bforum@listes.ifsttar.fr From: =?UTF-8?Q?David_MENTR=c3=89?= Message-ID: <502c5175-05ed-2ab8-2174-1cc9a17fd4c9@bentobako.org> Date: Tue, 4 Jun 2019 14:21:32 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] [JOBS] New permanent Researcher position in Formal Methods open at MERCE Reply-To: =?UTF-8?Q?David_MENTR=c3=89?= X-Loop: caml-list@inria.fr X-Sequence: 17602 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hello, My company, Mitsubishi Electric R&D Centre Europe (MERCE), is opening a new permanent Researcher position in Formal Methods located in Rennes, France. MERCE is part of Mitsubishi Electric Corporate R&D and directly works for various research labs and business units of the group to fulfill their needs in formal methods or popularize the use of formal methods. We work from first research ideas to production-ready tools. One core goal of our research is to acquire state-of-the-art in Formal Methods (on all the various kinds of formal methods) and adapt and enhance it to fulfill industrial needs of Mitsubishi Electric. We have many collaboration with academics through collaborative projects, PhD co-advising or direct collaborations. We work on real, industrial challenges. Our research environment is obviously different from academic research but as we don't work directly for a business unit it is closer to academic research than business unit development. Rennes city is very nice to live in. Our research team is small and growing in a cheerful and open-minded work environment. You'll find a more detailed announce with details on how to apply here in English: http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1905_Annonce_INS_EN_072019_VF.pdf Or in French: http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1905_Annonce_INS_FR_072019_VF.pdf Fill free to forward this announce to friends or other relevant mailing lists. Best regards, D. Mentré