Meet us at ICFP 2026!

janestreetevents

Indianapolis, Indiana

Posted Jul 23, 2026

Other
Events

Auto-apply with AI Apply on company site Browse more jobs

Job description

We're looking forward to #ICFP2026 in Indianapolis! OCaml is our primary development language at Jane Street, and we're actively building new language features and formal verification tools. See [our recent blog post](https://blog.janestreet.com/formal-methods-at-jane-street-index/), and come chat with out team at the conference.