From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmentre@linux-france.org>
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 E97ED7EF53
	for <caml-list@sympa.inria.fr>; Fri, 14 Aug 2015 12:01:30 +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: A0BoBgCGu81V/0AnF15dgxtUaYMkuWuCe4I/hQBMAQEBAQEBgQALhCglDwEFOwU2AgUWBAcCCwMCAQIBDT4NCAEBiC4Jqh2PY5ZjgSKSKoFDBZUbC5VNkTgmgUoMaYFAbwEBgkoBAQE
X-IPAS-Result: A0BoBgCGu81V/0AnF15dgxtUaYMkuWuCe4I/hQBMAQEBAQEBgQALhCglDwEFOwU2AgUWBAcCCwMCAQIBDT4NCAEBiC4Jqh2PY5ZjgSKSKoFDBZUbC5VNkTgmgUoMaYFAbwEBgkoBAQE
X-IronPort-AV: E=Sophos;i="5.15,676,1432591200"; 
   d="scan'208";a="173597738"
Received: from tempura.bentobako.org ([94.23.39.64])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 14 Aug 2015 12:01:30 +0200
Received: from [10.226.206.65] (129-202.252-81.static-ip.oleane.fr [81.252.202.129])
	by tempura.bentobako.org (Postfix) with ESMTPSA id A45B12F2E
	for <caml-list@inria.fr>; Fri, 14 Aug 2015 12:01:29 +0200 (CEST)
From: David MENTRE <dmentre@linux-france.org>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Message-ID: <55CDBC77.8030507@linux-france.org>
Date: Fri, 14 Aug 2015 12:01:27 +0200
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.1.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] PhD position announcement: Mixing Unproved and Proved
 sub-systems through Contracts for Correct-by-Construction system design

Hello,

CEA LIST and Mitsubishi Electric R&D Centre Europe are opening a fully 
funded PhD position titled "Mixing Unproved and Proved sub-systems 
through Contracts for Correct-by-Construction system design".

Position details are available here:

 
http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1507_Annonce_Formal%20methods_PhD_201510_EN.pdf

This PhD position is not strictly related to OCaml, but all formal 
related software at CEA LIST and MERCE are written in OCaml so it would 
most probably be used for the PhD work.

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

Sincerely yours,
D. Mentré