From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 3DFD282355 for ; Tue, 9 Jan 2018 10:11:56 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.46,334,1511823600"; d="asc'?scan'208";a="250516655" Received: from charm-ecran.irisa.fr ([131.254.101.83]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Jan 2018 10:11:55 +0100 From: Alan Schmitt To: OCaml Mailing List Date: Tue, 09 Jan 2018 10:12:00 +0100 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Subject: [Caml-list] Engineer position at Inria Rennes to work on JSExplain, a JavaScript interpreter in OCaml --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello, JSExplain is a JavaScript interpreter written in OCaml that can be used to generate traces of the execution of a JavaScript program. These traces record both the state of the interpreter as well as the state of the interpreted program, and can be explored with an online tool (https://jscert.github.io/jsexplain/branch/master/driver.html). We have a proof of concept prototype that needs to be extended to the current JavaScript specification, and we are looking for an engineer to work on this at Inria Rennes, in Brittany, France.=20 For more details on this positions and to apply, please follow these links: - English: https://jobs.inria.fr/public/classic/en/offres/2017-00122 - French: https://jobs.inria.fr/public/classic/fr/offres/2017-00122 The official starting position is September 1st, but it is flexible (it can be earlier or later than that). Best regards, Alan Schmitt --=20 OpenPGP Key ID : 040D0A3B4ED2E5C7 Monthly Athmospheric CO=E2=82=82, Mauna Loa Obs. 2017-12: 406.82, 2016-12: = 404.42 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Comment: GPGTools - https://gpgtools.org iQEzBAEBCgAdFiEE6lXof/BsSVW56ZmGBA0KO07S5ccFAlpUh2EACgkQBA0KO07S 5cfQLQgAua66/CuEdjdvAVq+CVC65rmaeVl4rGraG/c4k+dZw5GJ1sHDLR3xM8Bs SzNLxOrtbfN40imUMVOmLOoaOeaozLo9nHh7oTAfQBtSUJRey8h89OLly2522Dp0 2/zM/LNsG+y9bbeW1JRmLvHd6bFzpVVYdr1IC8u/NglbOuE3lSryDCr2mD4Oo38Z IHKFaUsKuBCF9ITPQGrC/YuWdD/gyc0tOgGvN5UEyeJNABo2D9BQSjDKng6CX4jg YyZcAqqlOuoyRsI9TVoVnAHwyFmyBattaPiaqXMgCycdWvUCQ9tsqTBPJuO+kfuF 2/sZ0pSUefZXL7bjNW7mgev5M4YU7Q== =zrav -----END PGP SIGNATURE----- --=-=-=--