From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tiphaine.turpin@free.fr>
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 D97377F84F
	for <caml-list@sympa.inria.fr>; Wed, 26 Feb 2014 15:22:38 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  tiphaine.turpin@free.fr) identity=pra; client-ip=212.27.42.1;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="tiphaine.turpin@free.fr";
  x-sender="tiphaine.turpin@free.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  tiphaine.turpin@free.fr) identity=mailfrom;
  client-ip=212.27.42.1;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="tiphaine.turpin@free.fr";
  x-sender="tiphaine.turpin@free.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp1-g21.free.fr) identity=helo;
  client-ip=212.27.42.1;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="tiphaine.turpin@free.fr";
  x-sender="postmaster@smtp1-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApMBAJD3DVPUGyoBnGdsb2JhbABag0FXgwO9b4EaFg4BAQEBAQYNCQkUKIIuI0g7CAINGQJLDgYBh3YBGAmoGJhvCYgOF4EpjHcfHIJugUkErE2BP4Ip
X-IPAS-Result: ApMBAJD3DVPUGyoBnGdsb2JhbABag0FXgwO9b4EaFg4BAQEBAQYNCQkUKIIuI0g7CAINGQJLDgYBh3YBGAmoGJhvCYgOF4EpjHcfHIJugUkErE2BP4Ip
X-IronPort-AV: E=Sophos;i="4.97,548,1389740400"; 
   d="scan'208";a="60425344"
Received: from smtp1-g21.free.fr ([212.27.42.1])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Feb 2014 15:22:37 +0100
Received: from spooler8-g27.priv.proxad.net (unknown [172.20.243.233])
	by smtp1-g21.free.fr (Postfix) with ESMTP id F40DB940105;
	Wed, 26 Feb 2014 15:22:33 +0100 (CET)
Date: Wed, 26 Feb 2014 15:22:32 +0100 (CET)
From: tiphaine.turpin@free.fr
To: caml-list@inria.fr, "caml-jobs " <caml-jobs@inria.fr>
Message-ID: <652156526.470556484.1393424552944.JavaMail.root@spooler8-g27.priv.proxad.net>
In-Reply-To: <167181387.470494649.1393423114296.JavaMail.root@spooler8-g27.priv.proxad.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Originating-IP: [213.30.141.6]
X-Mailer: Zimbra 7.2.0-GA2598 (ZimbraWebClient - FF3.0 (Win)/7.2.0-GA2598)
X-Authenticated-User: tiphaine.turpin@free.fr
Subject: [Caml-list] [job] Static analysis developer and C/C++ compiler
 architect positions at MathWorks Grenoble

Hello,

MathWorks is opening two positions in Grenoble, France:
* an expert in static analysis of code using formal methods (model checking, abstract interpretation or theorem proving...), especially on concurrent embedded programs, with working knowledge of functional programming languages
* an expert in C/C++ compiler architecture and framework (like LLVM).

Polyspace tools find bugs and prove their absence in C/C++ applications and Simulink models, using state-of-the-art static analysis. It is used to verify embedded software and especially safety-critical systems in planes, trains, and automobiles.

Please refer to the full job descriptions for application:

Static Analysis and Formal Methods Senior Developer
http://www.mathworks.com/company/jobs/opportunities/Static-Analysis-and-Formal-Methods-Senior-Developer-11754

C/C++ Compiler Architect
http://www.mathworks.com/company/jobs/opportunities/c-c-compiler-architect-11755

Regards,

Tiphaine Turpin
MathWorks