From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 DE98E7EE4B for ; Mon, 30 Sep 2013 16:01:30 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of amandine.roy@ansys.com) identity=pra; client-ip=74.125.149.246; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="amandine.roy@ansys.com"; x-sender="amandine.roy@ansys.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of amandine.roy@ansys.com designates 74.125.149.246 as permitted sender) identity=mailfrom; client-ip=74.125.149.246; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="amandine.roy@ansys.com"; x-sender="amandine.roy@ansys.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@na3sys009aog119.obsmtp.com) identity=helo; client-ip=74.125.149.246; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="amandine.roy@ansys.com"; x-sender="postmaster@na3sys009aog119.obsmtp.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuIBAD2DSVJKfZX2nGdsb2JhbABagkN8Urg5iESBJAgWDgEBAQEBBg0JCRQogjsBMAEBLwkQFV0SAQUBIxKIBgyfJosLAQGETwEFjjUGj02ELZFchiaBL4sZg0cYKYRP X-IPAS-Result: AuIBAD2DSVJKfZX2nGdsb2JhbABagkN8Urg5iESBJAgWDgEBAQEBBg0JCRQogjsBMAEBLwkQFV0SAQUBIxKIBgyfJosLAQGETwEFjjUGj02ELZFchiaBL4sZg0cYKYRP X-IronPort-AV: E=Sophos;i="4.90,1008,1371074400"; d="scan'208";a="34921710" Received: from na3sys009aog119.obsmtp.com ([74.125.149.246]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Sep 2013 16:01:27 +0200 Received: from mail-wi0-f179.google.com ([209.85.212.179]) (using TLSv1) by na3sys009aob119.postini.com ([74.125.148.12]) with SMTP ID DSNKUkmENvSx29MVVp69Br9yTtXSmo5HecT3@postini.com; Mon, 30 Sep 2013 07:01:28 PDT Received: by mail-wi0-f179.google.com with SMTP id hm2so3905050wib.0 for ; Mon, 30 Sep 2013 07:01:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ansys.com; s=google; h=mime-version:sender:date:message-id:subject:from:to:content-type; bh=8cefmHRc91Jkj9nnjveQvvaEAUReI1PdT6Gc1BELPyQ=; b=YHkOspR2tGT/nBH9bEVWQnxVozipA155A9Qtc5h+JjXpoH9QqQkP0dseJdKhDRyWRT Qe3GPrGTiTucZbWO5aM7IVfqdJQx/X5WLD3Pm+LGRrRXrYfxQdZtJ7um4DxOfl7We3hz UD3k2JYrjcTuLa5EaOgOQNNaJ3q3GUAUzwW4g= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:date:message-id:subject:from :to:content-type; bh=8cefmHRc91Jkj9nnjveQvvaEAUReI1PdT6Gc1BELPyQ=; b=eZ9xVK+uCVG/SobEunaUThbHVon/cOySAvesoPcM63qe4JM65/l5MHJPLe1keRcVFk hQp2hgMOSug0oaeEDkFf5BGU+RMpdaGcjndN887qvVdO1XXcYDTrDh0qbsKjkjhE6gVE 23ae4ahfJxjJQiUHT7Ikyh5uOUSiIa4RPLpnfWTcPfhD91SDlE/liFq7U71odyHwoCOn 9kM4X5xNDDdpJ886v5SAf+dIP0SAJiq6KW5ATSBZtLzfbIiCuF55u0A0ADjTd8jBu4sP mL3Aw5UbmskPDoLPWBfrMskwUAKCYkhYe6GEVc9Z5yKVLBVhEQ8+jxiem42HFpu6nIap Fong== X-Gm-Message-State: ALoCoQlilhzHimsWb51VRfIV2z8DyMaBT/9UG03nofIcwxzXxPM3MCtutRYmgF9uDeM9kEhKnnf/dW1W5MhCnl2gWb6EftKl1dW3kBxqPIGj16pZwtUDBph6y3iDDdAtJ2ucuIh7i3B05+4bSvqPiSYsVWhX/eP6UQ== X-Received: by 10.180.221.38 with SMTP id qb6mr13853691wic.8.1380549685328; Mon, 30 Sep 2013 07:01:25 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.180.221.38 with SMTP id qb6mr13853674wic.8.1380549685221; Mon, 30 Sep 2013 07:01:25 -0700 (PDT) Sender: amandine.roy@ansys.com Received: by 10.227.224.136 with HTTP; Mon, 30 Sep 2013 07:01:25 -0700 (PDT) Date: Mon, 30 Sep 2013 16:01:25 +0200 X-Google-Sender-Auth: KczfSH07v63DwbS1zd0QT7bKHFM Message-ID: From: Amandine Roy To: caml-list@inria.fr, ocaml-jobs@inria.fr Content-Type: multipart/alternative; boundary=001a1134d2da95331704e79a45f3 Subject: [Caml-list] Esterel Technologies is looking for an Ocaml SW developer in Toulouse (CDI) --001a1134d2da95331704e79a45f3 Content-Type: text/plain; charset=ISO-8859-1 Hello all, Esterel Technologies is looking for a software developer with experience in physical system modeling language or tool like Simulink/stateflow, Modelica, Simplorer, FMI, etc. A background on differential equations system solvers, ODEs and DAEs, will be highly appreciated. The position belongs to the Esterel team in charge of developing safety critical qualified compilers and development tools. The development uses mainly Objective Caml. Don't hesitate to send me your resume: Amandine ROY - HR Manager scade-jobs@esterel-technologies.com Link to our web site: http://www.esterel-technologies.com/about-us/careers/jobs/rd-ingenieur-compilation-simulation/ Thank you! Amandine -- Amandine ROY H.R. Business Partner Esterel Technologies - A wholly-owned subsidiary of ANSYS, Inc. 8 Rue Blaise Pascal - Parc Euclide 78990 Elancourt - France Tel: +33 1 30 68 61 60 *amandine.roy@esterel-technologies.com* *www.esterel-technologies.com* *http://fr.linkedin.com/in/amandineroy* www.ansys.com/careers [image: ANSYS Blog] [image: Linked in] [image: Twitter] [image: Facebook] [image: Google+] [image: YouTube] [image: RSS] The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. Any review, retransmission, dissemination or other use of, or taking of any action in reliance upon, this information by persons or entities other than the intended recipient is prohibited. If you received this in error, please contact the sender and delete the material from any computer. --001a1134d2da95331704e79a45f3 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hello all,
Esterel Technologies is looking for a software develope= r with experience in physical system modeling language or tool like Simulin= k/stateflow, Modelica, Simplorer, FMI, etc. A background on differential eq= uations system solvers, ODEs and DAEs, will be highly appreciated.

The= position belongs to the Esterel team in charge of developing safety critic= al qualified compilers and development tools. The development uses mainly O= bjective Caml.

Don= 't hesitate to send me your resume:=A0
Amandine ROY - HR Manager

Link to our web site:

Thank you!

Amandine
--

Amandine ROY

H.R. Business Partner

Esterel Technologies - A wholly-owned subsidiary of ANSYS, I= nc.

8 Rue Blaise Pascal - Parc Euclide

78990 Elancourt - France

Tel: +33 1 30 68 61 60

a= mandine.roy@esterel-technologies.com

www.esterel-technologies= .com<= /font>

http://fr.linkedin.com/in/ama= ndineroy

w= ww.ansys.com/careers=A0

3D"ANSYS=A0= 3D"Linked=A0=3D"Twitter"=A03D"Facebook"=A03D"Google+"=A03D"YouTube"=A03D"RSS"

The info= rmation transmitted is intended only for the person or entity to which it i= s addressed and may contain confidential and/or privileged material. Any re= view, retransmission, dissemination or other use of, or taking of any actio= n in reliance upon, this information by persons or entities other than the = intended recipient is prohibited. If you received this in error, please con= tact the sender and delete the material from any computer.
--001a1134d2da95331704e79a45f3--