We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both by leveraging existing tools and technology, and pursuing novel approaches.
We're looking to build a new team with engineers who have:
- Deep experience with formal methods. There's no specific checklist. We're broadly interested in people with backgrounds in interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, and related areas.
- Top-notch software engineering skills. We're looking for people who can turn cutting-edge research ideas into practical tools, and get these tools in use across the firm and beyond.
- Strong interpersonal skills. Software engineering at Jane Street is highly collaborative, and we're looking for people who can work effectively in small, close-knit teams.
We are interested in exploring a wide variety of approaches. While we are eager to integrate new tools into our existing infrastructure, no previous experience with OCaml or functional programming is required.
Why do it here?
The whole world is thinking about what agents mean for the future of programming, and there's no shortage of efforts trying to mix formal methods and agents. But think there are things about Jane Street that make this a unique opportunity.
First, we have deep control of the language we're using, which lets us shape it into a better home for proof-oriented techniques. We can adjust the language and the proof system at the same time in ways that aren't possible when you have to take the language as given.
Second, we have a community of programmers who are eager to adopt new tools, and have the right intellectual toolkit to do so. That community is an unparalleled source of both feedback and leverage for the work we do here.
We're in the early stages of building this team, with an enormous amount of work ahead of us, and we'd love you to be a part of it.
Skills Required
- Deep experience with formal methods (e.g., interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing).
- Top-notch software engineering skills; ability to turn research ideas into practical, production-quality tools.
- Strong interpersonal and collaboration skills for working effectively in small, close-knit teams.
Jane Street Compensation & Benefits Highlights
The following summarizes recurring compensation and benefits themes identified from responses generated by popular LLMs to common candidate questions about Jane Street and has not been reviewed or approved by Jane Street.
-
Career-Linked Recognition & Rewards — Pay is considered exceptionally strong across roles, with substantial bonuses in strong years and firm-wide performance sharing. Collaboration is expected and rewarded, reinforcing a team-oriented payout model.
-
Healthcare Strength — Benefits include zero-premium medical, dental, and vision coverage in the U.S., plus access to on-site or concierge primary care, physical therapy, and mental health services. This breadth and convenience signal a robust healthcare offering.
-
Parental & Family Support — Paid parental leave is described as generous, with equipped nursing rooms and backup childcare cited. Family-oriented supports like fertility coverage and elder‑care backup further enhance the package.
Jane Street Insights
What We Do
Jane Street works differently. As a liquidity provider and market maker, we trade on more than 200 trading venues across 45 countries and help form the backbone of global markets. Our approach is rooted in technology and rigorous quantitative analysis, but our success is driven by our people. Our bright, beautiful offices in the heart of New York, London, Hong Kong, and Amsterdam are open and buzzing with conversation. We come from many backgrounds and encourage travel between offices to share perspectives. Some of our best ideas come from bumping into a visiting colleague at the office coffee bar. Markets move fast. Staying competitive as we’ve grown has required constant invention—of new trading strategies, technology, and processes. We’ve found this is easier when you hire humble, kind people. They tend to help each other, and prioritize teamwork over titles. We invest heavily in teaching and training. There’s a library and a classroom in every office, because deepening your understanding of something is considered real work. Guest lectures, classes, and conferences round out the intellectual exchanges that happen every day. People grow into long careers at Jane Street because there are always new and interesting problems to solve, systems to build, and theories to test. More than twenty years after our founding, it still feels like we’re just getting started.
