Engineer position at Inria Rennes to work on JSExplain, a JavaScript interpreter in OCaml

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.

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:

The official starting position is September 1st, but it is flexible (it can be earlier or later than that).

Best regards,

Alan Schmitt