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 73EF77EEBF for ; Wed, 19 Aug 2015 17:12:50 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of modlfo@gmail.com) identity=pra; client-ip=209.85.215.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="modlfo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of modlfo@gmail.com designates 209.85.215.44 as permitted sender) identity=mailfrom; client-ip=209.85.215.44; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.national.inria.fr; envelope-from="modlfo@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: A0CcAwCkm9RVmyzXVdFDGoJOgSFpgyWlaVoGiBGKVQaCcYJDhHpMAQEBAQEBEgEBAQEBBgsLCSEuhDwRHQEbHgMSCQc3AiURAQUBIjWHdgEDEgQBCDyqNoIFgS8+MYtAgWyCeYsPChknDVeFCwEBAQEBFgEFDoYSjS0vgRQFlSRvi36BSocVD4l7g2CCHDWBFxeEDm8BgksBAQE X-IPAS-Result: A0CcAwCkm9RVmyzXVdFDGoJOgSFpgyWlaVoGiBGKVQaCcYJDhHpMAQEBAQEBEgEBAQEBBgsLCSEuhDwRHQEbHgMSCQc3AiURAQUBIjWHdgEDEgQBCDyqNoIFgS8+MYtAgWyCeYsPChknDVeFCwEBAQEBFgEFDoYSjS0vgRQFlSRvi36BSocVD4l7g2CCHDWBFxeEDm8BgksBAQE X-IronPort-AV: E=Sophos;i="5.15,710,1432591200"; d="scan'208,217";a="174154160" Received: from mail-la0-f44.google.com ([209.85.215.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Aug 2015 17:12:49 +0200 Received: by lalv9 with SMTP id v9so5075063lal.0 for ; Wed, 19 Aug 2015 08:12:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:content-type:subject:message-id:date:to:mime-version; bh=0vMStE2M/qeY7DyWGoBVAKxFLf+1LdtoLmqYzD13GBw=; b=Feq/vvG0P7W99dKTGfKt6oRnzernWtFu35s/8vOffe/7eL0cRYweIlKJ9UcuWQa4hb XzcQW+6n+/O1bdJz+rfIePXXjYp4PG9zSkEODENeKbKxBOEmZE1MJvvWaDIy/sRA8hLq EZufMnFPVjVJseYXnGtCeeiDCu1NWaLcN067G2QIIOhg8pP5ura96QrLVsaFi3De8wkr tLlSy/3F4lSs45B/GoWJ1WP3sY+RdhlRSkKlFQC004Mlc53C+M+GnyJtgXYsBOcGvClX Z8pLWaRLm+kFo/US3dyKi+vjoHbns5e5Ti7CWRAQV+lLL0baak9P6omkwLSeIKuuLMCc jW8A== X-Received: by 10.152.9.37 with SMTP id w5mr11658392laa.43.1439997169375; Wed, 19 Aug 2015 08:12:49 -0700 (PDT) Received: from [192.168.1.12] (109-124-136-208.customer.t3.se. [109.124.136.208]) by smtp.gmail.com with ESMTPSA id ao8sm288524lac.38.2015.08.19.08.12.48 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 19 Aug 2015 08:12:48 -0700 (PDT) From: Leonardo Laguna Ruiz Content-Type: multipart/alternative; boundary="Apple-Mail=_B0D8E6EE-E651-4FEF-B166-80D58FA1A811" Message-Id: Date: Wed, 19 Aug 2015 17:12:47 +0200 To: Caml-list Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2102\)) X-Mailer: Apple Mail (2.2102) Subject: [Caml-list] Position at Wolfram Mathcore --Apple-Mail=_B0D8E6EE-E651-4FEF-B166-80D58FA1A811 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 This position may be interesting for Ocaml programmers. Find the full description at: http://www.mathcore.com/company/careers.php <= http://www.mathcore.com/company/careers.php> Software Engineer for Wolfram SystemModeler Do you have a passion for compiler technology, math, and mathematical model= ing, and would like to exercise those skills while developing world-leading= modeling and simulation software? In that case, look no further.. As a software engineer at Wolfram Mathcore, you will work mainly at our off= ice in Link=C3=B6ping, Sweden, on the development of the SystemModeler kern= el. The main function of the kernel is to translate models defined in the M= odelica language into executable simulation code. Function and responsibilities You will work in a team with responsibilities ranging from algorithm and us= er interface design to testing. As a kernel developer your main responsibil= ity is maintaining existing code and implementing new features of the Syste= mModeler kernel. This involves the following tasks, with OCaml used as the = main language for kernel development: Parsing and transforming representations of Modelica code Mathematical processing of equations Code generation of C/C++ simulation code Numerical runtime computations --Apple-Mail=_B0D8E6EE-E651-4FEF-B166-80D58FA1A811 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 This position may = be interesting for Ocaml programmers.

<= div class=3D"">Find the full description at: http://www.mathcore.com/company/c= areers.php

Software Engineer for Wolfram SystemMode= ler

Do you have a passion for compil= er technology, math, and mathematical modeling, and would like to exercise = those skills while developing world-leading modeling and simulation softwar= e? In that case, look no further..

As a software engineer= at Wolfram Mathcore, you will work mainly at our office in Link=C3=B6ping,= Sweden, on the development of the SystemModeler kernel. The main function of t= he kernel is to translate models defined in the Modelica language into exec= utable simulation code.

Function and responsibilitie= s

You will work in a team with responsibilities ranging from a= lgorithm and user interface design to testing. As a kernel developer your m= ain responsibility is maintaining existing code and implementing new featur= es of the System= Modeler kernel. This involves the following tasks, with OCaml u= sed as the main language for kernel development:


  • Parsing and transforming = representations of Modelica code
  • Mathematical processing= of equations
  • Code generation of C/C++ simulation code
  • Numerical runtime computations
<= br class=3D"">
= --Apple-Mail=_B0D8E6EE-E651-4FEF-B166-80D58FA1A811--