freehire launches on Product Hunt on 26 August.

Follow →

Meet us at ICFP 2026!

Open 28d

Summary

Develop formal verification tools and language features for OCaml at Jane Street, a quantitative trading firm.

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, and come chat with out team at the conference.

See also

Tailor your CV for this role?

We couldn't check your fit for this role — add a CV to your profile to see it next time.

A new version of freehire is available