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 sympa.inria.fr (Postfix) with ESMTPS id C8D6B7ED1D; Mon, 12 Oct 2015 08:51:25 +0200 (CEST) IronPort-PHdr: 9a23:XgGv+xE0Qiz8VCpEtznBj51GYnF86YWxBRYc798ds5kLTJ7/osiwAkXT6L1XgUPTWs2DsrQf27aQ4/irAzJbqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7z0q8WYOVsTzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzSqUdBzA7OUg04tfqvF/NV0/H+XsNCSAdlgdCKwzE9w3hGJj/tTH1u6x83jObNIv4V/R8Qiyr9aQxEEa0zSsGLDUk63r/js1rkLkdrhW7qBE5xJbZZsSZM7x5ZKyZNf0ATG9IG+0ZTzFLBoK3J4cOFOEcJv1ZqI+181UUpB63QALpCOL0wSJTnVfy3LYmyKIuHwbc0wFmHtQUsX2Sos+jcO8YX+ev0azgyTTYc/5Nnzbz85TUewpnr+vIFfh7eM/VjE0uDB/tj1OKqIWjMSnfnrAGum2fqu5hTv6Himg9qgg3rCL5lek2jYycqosLy1yM0Ahf/LwYbYm0TUN9fcSpOJ9RsTyKcoVsS8UpTidvoilsme5OgoKyYCVfkMdv/BXYcfHSK4U= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dmentre@linux-france.org; spf=None smtp.mailfrom=dmentre@linux-france.org; spf=None smtp.helo=postmaster@tempura.bentobako.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=pra; client-ip=94.23.39.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=mailfrom; client-ip=94.23.39.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@tempura.bentobako.org) identity=helo; client-ip=94.23.39.64; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="postmaster@tempura.bentobako.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B9CgAeWBtW/0AnF15dgyZUbr0FgmEjgnCCCn+BLTwQAQEBAQEBAQGBCYIfggwlDwEFQDYCBRYEBwILAwIBAgENPgEMBgIBAReIFwmpLpNxgSKFUYR+hCoRASuDFoFFBY0NiQYOjmSEOoMBjwGDbzgrgUp6gUBvAQGGKIFAAQEB X-IPAS-Result: A0B9CgAeWBtW/0AnF15dgyZUbr0FgmEjgnCCCn+BLTwQAQEBAQEBAQGBCYIfggwlDwEFQDYCBRYEBwILAwIBAgENPgEMBgIBAReIFwmpLpNxgSKFUYR+hCoRASuDFoFFBY0NiQYOjmSEOoMBjwGDbzgrgUp6gUBvAQGGKIFAAQEB X-IronPort-AV: E=Sophos;i="5.17,671,1437429600"; d="scan'208";a="182252256" Received: from tempura.bentobako.org ([94.23.39.64]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 12 Oct 2015 08:51:10 +0200 Received: from [10.226.206.70] (unknown [95.128.149.202]) by tempura.bentobako.org (Postfix) with ESMTPSA id 312892DDC; Mon, 12 Oct 2015 08:51:10 +0200 (CEST) From: David MENTRE To: coq-club@inria.fr, why3-club@lists.gforge.inria.fr, spark2014-discuss@lists.forge.open-do.org, Frama-C public discussion , bforum@listes.ifsttar.fr, "caml-list@inria.fr" Message-ID: <561B585D.7070303@linux-france.org> Date: Mon, 12 Oct 2015 08:51:09 +0200 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] Research Engineer permanent position opened at Mitsubishi Electric R&D Centre Europe, Rennes, France Hello, My company, Mitsubishi Electric, has opened a new Research Engineer permanent position (French CDI) to work on formal methods in Rennes, France. We have a lot of interesting challenges to work on in railway, automotive, factory automation and other domains! See requirements and profile below. Feel free to forward this job announcement to relevant forums. Best regards, david == Advanced Software Research Engineer == http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1510_Annonce_COM_EN_IRMF.pdf Company: MITSUBISHI ELECTRIC R&D CENTRE EUROPE 1, allée de Beaulieu, CS 10806, 35708 Rennes Cedex 7, France Web site : http://www.mitsubishielectric-rce.eu/ Duration: undetermined term period (CDI), from October 2015 Reference: COM_IRMF Context and description: As MITSUBISHI ELECTRIC Group’s subsidiary, one of the world’s leading names in the manufacture and sales of electric and electronic products and systems, the European R&D centre MITSUBISHI ELECTRIC R&D CENTRE EUROPE includes a division “Communication Technology Division” (COM) specialised in communications and control solutions for professional- and consumer-oriented applications. This division, located in located in Rennes (Ille-et-Vilaine department, Brittany region) is looking for a Research Engineer whose tasks will include: • Study and development of advanced software solutions for critical systems (automotive, rail, robotic, aerospace, nuclear ...) using formal methods; • Study and development of software tools to promote advanced software solutions’ use in an industrial context; • Involvement in collaborative research projects in the field of advanced software methods. Required experience: • At least 3 years of experience in software or mathematics fields, within public or private R&D laboratories; • Experience in formal methods, and optionally in one of the following domains: 1) automotive; 2) Model Based Engineering; 3) dependability; • Concrete knowledge of a formal tool (like Atelier B, Frama-C, SPARK, SCADE, Coq, Polyspace, Z3 or SPIN) is a plus; • Research experience marked by publications and patents is also a plus. Essential qualifications: • Graduate engineer and/or PhD degree in the field of advanced software. Personal Profile: • Motivation and dynamism to work in a research environment adapted to industry; • Open-mindedness, capacity to work in a multicultural and international environment; • Ability to work with rigor in a dynamic environment on multiple tasks within schedule; • Excellent communication skills; • Fluent English; • Availability for international business trips. Contact: Magali BRANCHEREAU (Human Resources Manager) Please send CV and motivation letter by email (indicating in object: your name + job ad reference) to: jobs@fr.merce.mee.com