caml-list - the Caml user's mailing list
 help / Atom feed
From: David MENTRÉ <david.mentre@bentobako.org>
To: coq-club@inria.fr, why3-club@lists.gforge.inria.fr, isabelle-users@cl.cam.ac.uk, OCaml list <caml-list@inria.fr>, spark2014-discuss@lists.adacore.com, fstar-club@lists.gforge.inria.fr, frama-c-discuss@lists.gforge.inria.fr, bforum@listes.ifsttar.fr
Subject: [Caml-list] [JOBS] New permanent Researcher position in Formal Methods open at MERCE
Date: Tue, 4 Jun 2019 14:21:32 +0200
Message-ID: <502c5175-05ed-2ab8-2174-1cc9a17fd4c9@bentobako.org> (raw)

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é


                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=502c5175-05ed-2ab8-2174-1cc9a17fd4c9@bentobako.org \
    --to=david.mentre@bentobako.org \
    --cc=bforum@listes.ifsttar.fr \
    --cc=caml-list@inria.fr \
    --cc=coq-club@inria.fr \
    --cc=frama-c-discuss@lists.gforge.inria.fr \
    --cc=fstar-club@lists.gforge.inria.fr \
    --cc=isabelle-users@cl.cam.ac.uk \
    --cc=spark2014-discuss@lists.adacore.com \
    --cc=why3-club@lists.gforge.inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox