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. 

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

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂, Mauna Loa Obs. 2017-12: 406.82, 2016-12: 404.42