From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <david.mentre@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 1F3707EEAF;
	Mon, 21 Jan 2013 16:56:34 +0100 (CET)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  david.mentre@gmail.com) identity=pra;
  client-ip=209.85.215.44;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="david.mentre@gmail.com";
  x-sender="david.mentre@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  david.mentre@gmail.com designates 209.85.215.44 as permitted
  sender) identity=mailfrom; client-ip=209.85.215.44;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="david.mentre@gmail.com";
  x-sender="david.mentre@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-la0-f44.google.com) identity=helo;
  client-ip=209.85.215.44;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="david.mentre@gmail.com";
  x-sender="postmaster@mail-la0-f44.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsIBAMNk/VDRVdcsjWdsb2JhbABEhX4BuCYIFg4BAQEBCQkLCRIGI4IjQgEyBgEDDQUQWgMSAQUBIogaAw8MnWiPL4RaJw2IXAEFDIophwQDjTqFAoNQjmgWKYFYgkA
X-IronPort-AV: E=Sophos;i="4.84,507,1355094000"; 
   d="scan'208";a="169220321"
Received: from mail-la0-f44.google.com ([209.85.215.44])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Jan 2013 16:56:20 +0100
Received: by mail-la0-f44.google.com with SMTP id eb20so5239866lab.17
        for <multiple recipients>; Mon, 21 Jan 2013 07:56:19 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:mime-version:sender:from:date:x-google-sender-auth
         :message-id:subject:to:cc:content-type:content-transfer-encoding;
        bh=9w4/X9zs1Muxxa/Q+EFK4FUeDQ1hDZhRSLTf4SwNW08=;
        b=CquQlFjYTmF5DnfyAx8lINXlRLjzm5/oL0e3J48Y4rC8hHtIgkzmqdiSGp8akaWNc2
         JZwb/MkmKpW6pGA2kqokW/35jymqeGOXQwrdW5yICVMbnOB3ChNWWCNn6XB4GKMb2l2w
         VILKSgw//VVmxekxgpoX1UxZNgsLqATFlnhZ5LwNplWBUeMWBxkwVvGEenTGi8erMheZ
         sUzOUZUhfNlXFq99emrHOMrkv5PAyO4JZTPh8mVyvja53eLCtqfDkGE8XdEBWgPjWD/M
         3BhEOfwFy/ZFFlIXKwCbymYziM3y4MezJjgFDyCmQjsgT4xdvoXwdeuDzwlqohMj1chH
         Fa4w==
X-Received: by 10.112.38.164 with SMTP id h4mr4875794lbk.123.1358783779037;
 Mon, 21 Jan 2013 07:56:19 -0800 (PST)
MIME-Version: 1.0
Sender: david.mentre@gmail.com
Received: by 10.112.135.198 with HTTP; Mon, 21 Jan 2013 07:55:39 -0800 (PST)
From: David MENTRE <dmentre@linux-france.org>
Date: Mon, 21 Jan 2013 16:55:39 +0100
X-Google-Sender-Auth: rDQ1pCDuAi-2wabXWRXdArYTHcY
Message-ID: <CAC3Lx=a7-cc79zhCB1MHjFm7ZcjdszGinGv1-9T3m-Gmvmo0Hg@mail.gmail.com>
To: David MENTRE <dmentre@linux-france.org>
Cc: Coq Club <coq-club@inria.fr>, why3-club <why3-club@lists.gforge.inria.fr>, 
	Frama-C public discussion <frama-c-discuss@lists.gforge.inria.fr>, 
	"hi-lite-discuss@lists.forge.open-do.org" <hi-lite-discuss@lists.forge.open-do.org>, caml users <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Subject: [Caml-list] Job offer on formal methods (fixed term contract)

Hello,

My company is looking for an Engineer or PhD in formal methods to work
on railway systems. It is research activity with model and software
development and proving properties on them.

More details in French:
  http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1301_Annonce_CO=
M_Formal_Methods_MERCEFRCOM0113_FR.pdf

Feel free to forward this offer to people you know who might be interested.

Sincerely yours,
D. Mentr=E9