
<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><span style="color: rgb(0, 0, 0);">Jane Street has an open visiting position to work with the type systems team here at improving and formalizing various aspects of our extensions to OCaml. This work continues along the lines of inquiry described in our recent <a href="https://urldefense.com/v3/__https://dl.acm.org/doi/10.1145/3674642__;!!IBzWLUs!XU6wHB2sGKJPRdaxSjXjk6xuZU4N2pQRcysvSLExsMpEVLblZGDKnPdWOCdI3tuKTMul4gaPBtoElBLJzrwVi0C2tNlP0E7RFXgHOw$" target="_blank">ICFP</a> and <a href="https://urldefense.com/v3/__https://dl.acm.org/doi/10.1145/3704859__;!!IBzWLUs!XU6wHB2sGKJPRdaxSjXjk6xuZU4N2pQRcysvSLExsMpEVLblZGDKnPdWOCdI3tuKTMul4gaPBtoElBLJzrwVi0C2tNlP0E6TOBQE5A$" target="_blank">POPL</a> papers allowing some manual memory management and guaranteeing data-race freedom in OCaml -- all while remaining backward compatible. We've come so far, and yet there's still so much to do, including designing a novel kind system and figuring out an ergonomic and efficient way to have functions be polymorphic over multiple runtime representations.</span><div><span style="color: rgb(0, 0, 0);"><br></span></div><div><span style="color: rgb(0, 0, 0);">The Jane Street position is envisioned to sit between graduation from a PhD program and the start of a tenure-track professorship at a research institution. Candidates might already have a faculty offer in hand and be taking a gap year, or they might be seeking a more traditional postdoc. The visit can last one or two years. It will be research-focused, with a goal of publishing several papers in top venues. The visitor will be able to see firsthand how language improvements affect the 1,000+ OCaml programmers all around us in our office. This will be a great opportunity at combining the theoretical and practical aspects of research in our field.</span><br style="color: rgb(0, 0, 0);"><br style="color: rgb(0, 0, 0);"><span style="color: rgb(0, 0, 0);">Full details and next steps are at </span><a href="https://urldefense.com/v3/__https://www.janestreet.com/join-jane-street/programs-and-events/visiting-researcher-prefaculty/__;!!IBzWLUs!XU6wHB2sGKJPRdaxSjXjk6xuZU4N2pQRcysvSLExsMpEVLblZGDKnPdWOCdI3tuKTMul4gaPBtoElBLJzrwVi0C2tNlP0E5qXHErWQ$" target="_blank">https://www.janestreet.com/join-jane-street/programs-and-events/visiting-researcher-prefaculty/</a><br style="color: rgb(0, 0, 0);"><br style="color: rgb(0, 0, 0);"><span style="color: rgb(0, 0, 0);">I'll be supervising this position. Happy to answer any questions -- just email!</span></div><div><span style="color: rgb(0, 0, 0);"><br></span></div><div><span style="color: rgb(0, 0, 0);">Richard Eisenberg</span></div><div><span style="color: rgb(0, 0, 0);"><a href="mailto:reisenberg@janestreet.com" target="_blank">reisenberg@janestreet.com</a></span></div><div><span style="color: rgb(0, 0, 0);"><a href="https://urldefense.com/v3/__https://richarde.dev/__;!!IBzWLUs!XU6wHB2sGKJPRdaxSjXjk6xuZU4N2pQRcysvSLExsMpEVLblZGDKnPdWOCdI3tuKTMul4gaPBtoElBLJzrwVi0C2tNlP0E7k1T0K4A$" target="_blank">https://richarde.dev/</a></span></div></body></html>