Prefaculty/postdoctoral researcher in type systems

Jane Street
Tools & Compilers

We’re looking for type systems researchers to visit our compilers team. You’ll work on the design, implementation, and formalization of OCaml extensions we’ve been building, including stack-allocated values (avoiding garbage collection), unboxed types (avoiding allocation of any kind), and modes for data-race freedom. We would then collaborate to write up this work and submit for publication in top venues. This is an opportunity to see how programming language concepts can be put into practice in the hands of a large and expert team of functional programmers.

The ideal candidate will have a faculty offer in hand and will delay their start at a top research university in order to work with us for one year. We are also open to evaluating excellent candidates looking for a more typical postdoctoral appointment, for up to two years.

Full details and next steps are at