From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C729D7F72C for ; Mon, 15 Aug 2016 12:42:30 +0200 (CEST) IronPort-PHdr: 9a23:nzIU+RRKIEPuCuFTUHFyMIgp3Npsv+yvbD5Q0YIujvd0So/mwa64YRCN2/xhgRfzUJnB7Loc0qyN4vmmADFLu8bJ8ChbNscdD1ld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbshsi6n9q/54fUK10RwmHsOPUrcV7s/U2R7pBQ2to6bP5pi1PgmThhQ6xu32RmJFaezV7Xx/yb29pdyRlWoO8r7MVaUK/3LOwSRL1cCyk6YShuvJW4/UqLcQza7XIZViASkwFUKwnD9hDzGJnr4QXgse8o/CSdO8TsQbd8fT2t8qFiAEvtjysDOTkR/2Tei8g2h6Ve9kHy7ydjypLZNdnGfMF1ebnQKIsX Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=modlfo@gmail.com; spf=Pass smtp.mailfrom=modlfo@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of modlfo@gmail.com) identity=pra; client-ip=209.85.223.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="modlfo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of modlfo@gmail.com designates 209.85.223.175 as permitted sender) identity=mailfrom; client-ip=209.85.223.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="modlfo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f175.google.com) identity=helo; client-ip=209.85.223.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="postmaster@mail-io0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ClAgAVnLFXhq/fVdFehBt8B4ExonMBAQaJPY1EJoJAgm1FA4E9B0wCAQEBAQEBAQESAQEBCAsLCRkvQQEECYFjFoINIhEdARseAxIIAQc3AiQBEQEFAVeHdAEDFw6hAIIHgTI+Mos8gWqCWwWGNwoZJw1UhBUCBhCFUoVrhDaCNYJaBZk+jxaBVY1sAo5vEx6BD4IVDFaBWToygmOBUIJcAQEB X-IPAS-Result: A0ClAgAVnLFXhq/fVdFehBt8B4ExonMBAQaJPY1EJoJAgm1FA4E9B0wCAQEBAQEBAQESAQEBCAsLCRkvQQEECYFjFoINIhEdARseAxIIAQc3AiQBEQEFAVeHdAEDFw6hAIIHgTI+Mos8gWqCWwWGNwoZJw1UhBUCBhCFUoVrhDaCNYJaBZk+jxaBVY1sAo5vEx6BD4IVDFaBWToygmOBUIJcAQEB X-IronPort-AV: E=Sophos;i="5.28,524,1464645600"; d="scan'208,217";a="189205967" Received: from mail-io0-f175.google.com ([209.85.223.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Aug 2016 12:42:29 +0200 Received: by mail-io0-f175.google.com with SMTP id b62so76329886iod.3 for ; Mon, 15 Aug 2016 03:42:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=eHewfOU8spj2oByL1vN3NRV4F8dbkgHwzi0SFkLI3h8=; b=CYpmhDDVm0McUJdeqeWD2MgHgEsGI7hXc2l/nrtzcRXrVHigpvXsOfEtoEle0yb8fq SGsj2xDzBjxDsOUrf4fCxkMr/fdOPpBK9R2oAjL4fqRtCNEKGTwh48mI0GJMi/O04Z2H KXxi+tVuz0bUF9E15Ezy1CSpaEEHEAjS9KMyXvKtpiNmUNw3hLJwTeTF2O3bAQPiPJho FrKo8bbow5xgJLDc0tih1nEyDqZHqq5/CBzSwUjOQDojryVc8fzTtsfSIeamdTfZ3eRl Bqw0EsWMg/bD/VcaM4MkTmx18JTylAn8vwWV+jLJARIO1ddcqOl7Bezvr7O1w6Rjg65G X77Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=eHewfOU8spj2oByL1vN3NRV4F8dbkgHwzi0SFkLI3h8=; b=ZEKJIFV69bIG273NE2kYtc9Gu82qKrZKDAEAZKxsqJkgQVWKjJQjpi2qMlO5dx7R/d C7h9xD40lWFigFXKi3ofZN3o8RuGNoJx+O6EwhlxfbuU/fXsa+qzm6yPwG3ab0T4qFP5 oQdn2GvGNZ3BwBO26veLl3g1U0IvQCVTTqUHeWsZ3XjOm5zbr7/KMxY6xgw87QmGzT96 QdOvM3Nv4AnxEtpfYtn6JW8Xp2PiWcfjwVE1HCvkcE1B4j4WNs8W7iBD9Cj3W+Rh/PaK 1A/fP0QJ3fn5X2wmM/pXS6VDhBi6+5ZgODDdZpcuEpHnrFeCqzLm05xJtAP947P6AnlU z3zg== X-Gm-Message-State: AEkooutopB5Cjo2NnEvmk+9UJmWKeemRAydYUBCoArHY0w6L4wTbSMNpPvmrdh1O0+VLRM3uJC9L6LbkPvPw+A== X-Received: by 10.107.131.170 with SMTP id n42mr32398954ioi.126.1471257747941; Mon, 15 Aug 2016 03:42:27 -0700 (PDT) MIME-Version: 1.0 Received: by 10.36.43.80 with HTTP; Mon, 15 Aug 2016 03:42:27 -0700 (PDT) From: Leonardo Laguna Date: Mon, 15 Aug 2016 12:42:27 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a113ecb06706d04053a19e397 Subject: [Caml-list] [JOB] Job opportunity for OCaml programmer --001a113ecb06706d04053a19e397 Content-Type: text/plain; charset=UTF-8 Hi, we are looking for a new member for my team. The job is developing the SystemModeler (www.wolfram.com/system-modeler) Modelica's compiler which is written in OCaml. Here's the full announce if you are interested: http://www.wolfram.com/company/careers/opportunities/#op-127441-software-engineer-systemmodeler Leonardo --001a113ecb06706d04053a19e397 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,

we are looking for a new member for= my team. The job is developing the SystemModeler (www.wolfram.com/system-modeler) Modelica'= s compiler which is written in OCaml.


Leonardo
--001a113ecb06706d04053a19e397--