[TYPES/announce] educator and visiting junior researcher positions at Jane Street

[Richard Eisenberg]

There are two exciting job opportunities at Jane Street of potential interest to TYPES folks:

1. An OxCaml educator.

We’re designing and building the functional language of the future (we're calling it OxCaml <https://urldefense.com/v3/__https://oxcaml.org/__;!!IBzWLUs!Twnc4sIdrdQoiHmD1XDDplKLnhlerUvsxgpjuZLd9Icb-yxHJohqHFYsrSQEH7kmphPVlLrE308OnGOHckynP8zkmSRjdOES$ >), supporting a rich type system, immutability-first programming, data-race freedom, and opt-in low-level memory control. Now, we need to teach it to people. Jane Street employs over 1,500 programmers, and we’re hiring more every year. Teaching our new features to that population is no small task. We’re thus hiring for a dedicated educator position.

You would design, write, and run our educational program, with the help of your teammates on the OCaml Language team. We’re currently imagining a curriculum of 8-10 classes, to be given on an ongoing basis in each of our 4 offices (New York, London, Hong Kong, and Singapore). You would be responsible for leading the development of the course material and keeping it up-to-date, as well as working with your colleagues to deliver the classes.

Alongside these educational responsibilities, you would spend roughly half of your time doing software engineering in the OCaml Language team: we want you to gain experience as an OxCaml programmer as you work on teaching others.

The ideal candidate has several years of teaching experience and has experience working with (and teaching) a programming language with an intricate type system. The position can be in either New York or London.

More information and application info are in our job listing <https://urldefense.com/v3/__https://www.janestreet.com/join-jane-street/position/6546786002/__;!!IBzWLUs!Twnc4sIdrdQoiHmD1XDDplKLnhlerUvsxgpjuZLd9Icb-yxHJohqHFYsrSQEH7kmphPVlLrE308OnGOHckynP8zkmdGK8kXt$ >.

2. Prefaculty / postdoc visiting researcher in type systems.

We have been extending OCaml's type system with several new features for the last few years, most prominently with statically verified data-race freedom and unboxed types. We naturally have had to face a number of research questions while doing so. And there are yet more research questions to be answered! The problem du jour is: How do we arrange our kind system to permit efficient storage of a wide range of flat (no indirection) datatypes? Records might include an embedded array; variants might be inlined into other variants; and yet we want to retain the ability to have efficient pointers into the middle of structures. Or how do we permit parametric mode polymorphism in types without clutter and confusion for most users? Or how do we design a type system allowing for metaprogramming where the host platform and target platform might support different primitive types? Maybe we'll have solved these problems before you get here, but there will be others, I'm sure.

This position is intended to give a researcher exposure to language design in the real world. You'll be in an environment with 1,500+ developers and 80+ million lines of code in the language you’re designing and implementing. We get to iterate, make mistakes, and correct them, all with informed feedback from eager users. And we expect to write and publish papers about it all, hoping to create an ongoing collaboration that can last long after you leave Jane Street.

This is a one- or two-year position for a researcher to be embedded within Jane Street's OCaml Language team, focusing on our type system. The ideal candidate has a faculty offer in hand and delays their start to work with us; we are also open to hiring a postdoc without such an offer. This is an in-person position in New York City.

You can learn more on Jane Street's job posting <https://urldefense.com/v3/__https://www.janestreet.com/join-jane-street/programs-and-events/visiting-researcher-program-type-systems/__;!!IBzWLUs!Twnc4sIdrdQoiHmD1XDDplKLnhlerUvsxgpjuZLd9Icb-yxHJohqHFYsrSQEH7kmphPVlLrE308OnGOHckynP8zkmXMgMK8t$ >, or just express your interest on this form <https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSfkDhazw2Ss3EYvBIV_uOnXXR3sOoFuKUib05Ck84XUHmKOQg/viewform__;!!IBzWLUs!Twnc4sIdrdQoiHmD1XDDplKLnhlerUvsxgpjuZLd9Icb-yxHJohqHFYsrSQEH7kmphPVlLrE308OnGOHckynP8zkmdBwFi92$ >.

---

Feel free to email me (reisenberg at janestreet.com <mailto:reisenberg at janestreet.com> is best) if you’d like more information!

Richard Eisenberg
https://urldefense.com/v3/__https://richarde.dev/__;!!IBzWLUs!Twnc4sIdrdQoiHmD1XDDplKLnhlerUvsxgpjuZLd9Icb-yxHJohqHFYsrSQEH7kmphPVlLrE308OnGOHckynP8zkmemiVQnY$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260323/76bebc4e/attachment-0001.htm>