From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmentre@linux-france.org>
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 CCAFB7EEBF
	for <caml-list@sympa.inria.fr>; Fri,  3 Jul 2015 14:10:43 +0200 (CEST)
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: A0DwCwCEepZV/0AnF15bgxJURRqDH7kognOHKkwBAQEBAQGBC0EFg2IlDwEFOzsCBSECEQIOPg0IAQGILwmoBI9fllWBIZIfgUMFlBUIlBmQGCaBVWiBP20BgkoBAQE
X-IPAS-Result: A0DwCwCEepZV/0AnF15bgxJURRqDH7kognOHKkwBAQEBAQGBC0EFg2IlDwEFOzsCBSECEQIOPg0IAQGILwmoBI9fllWBIZIfgUMFlBUIlBmQGCaBVWiBP20BgkoBAQE
X-IronPort-AV: E=Sophos;i="5.15,399,1432591200"; 
   d="scan'208";a="168688677"
Received: from tempura.bentobako.org ([94.23.39.64])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 03 Jul 2015 14:10:43 +0200
Received: from [10.226.206.69] (129-202.252-81.static-ip.oleane.fr [81.252.202.129])
	by tempura.bentobako.org (Postfix) with ESMTPSA id 915482FA8
	for <caml-list@inria.fr>; Fri,  3 Jul 2015 14:10:42 +0200 (CEST)
To: "caml-list@inria.fr" <caml-list@inria.fr>
From: David MENTRE <dmentre@linux-france.org>
Message-ID: <55967BC2.50409@linux-france.org>
Date: Fri, 3 Jul 2015 14:10:42 +0200
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.0.1
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] PhD position announcement: Timed contracts for
 Correct-by-Construction system design

Hello,

INRIA Rennes and Mitsubishi Electric R&D Centre Europe are opening a PhD 
position titled "Timed contracts for Correct-by-Construction system design".

Position details are available here:

 
http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1506_Annonce_Formal%20methods_PhD_201509_EN(1).pdf

This PhD position is not strictly related to OCaml but most of the time 
the tool developed at MERCE around formal methods are made in OCaml. :-)

Do not hesitate to ask questions if needed. Feel free to forward this 
position to relevant forums.

Sincerely yours,
D. Mentré