Jane Street Visiting Researcher Program Prefaculty/Postdoctoral researcher in type systems https://www.janestreet.com/join-jane-street/programs-and-events/visiting-researcher-prefaculty/ #OCaml #Job @JaneStreetGroup