Description
About the Position
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.
If you're a recruiting agency and want to partner with us, please reach out to agency-partnerships@janestreet.com.
Similar jobs
Est. 140,000 USD
About the Position 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…
Est. 120,000 GBP
About the Position We’re looking for Software Engineers who want to help us design and build the systems and tools that run the firm. You’ll find Software Engineers in all parts of Jane Street, solving real problems in c…
About the Position We’re looking for Software Engineers who want to help us design and build the systems and tools that run the firm. You’ll find Software Engineers in all parts of Jane Street, solving real problems in c…
About the Position We’re looking for Software Engineers who want to help us design and build the systems and tools that run the firm. You’ll find Software Engineers in all parts of Jane Street, solving real problems in c…
Est. 124,000 USD
About the Position We’re looking for Software Engineers who want to help us design and build the systems and tools that run the firm. You’ll find Software Engineers in all parts of Jane Street, solving real problems in c…
Est. 120,000 GBP
About the Position We're looking for Software Engineers with a background in programming languages to join one of our PL-focused teams at Jane Street. Programming languages work at Jane Street spans a wide variety of dif…
Est. 120,000 GBP
About the Position We're always hiring software engineers for all of our offices. Technology is at the core of how we approach our work, and engineers are intimately involved in every area of the business. We are big bel…
Est. 140,000 USD
About the Position We're looking for Software Engineers with a background in programming languages to join one of our PL-focused teams at Jane Street. Programming languages work at Jane Street spans a wide variety of dif…
Est. 124,000 USD
About the Position We're always hiring software engineers for all of our offices. Technology is at the core of how we approach our work, and engineers are intimately involved in every area of the business. We are big bel…
About the Position We're always hiring software engineers for all of our offices. Technology is at the core of how we approach our work, and engineers are intimately involved in every area of the business. We are big bel…
Est. 120,000 GBP
About the Position We are hiring Production Engineers in our London office. Jane Street Production Engineers are software developers who spend time both developing software and also providing high-quality support for sof…
Est. 60,000 GBP
About the Position Our goal is to give you a real sense of what it's like to work at Jane Street full time while also providing a truly unparalleled educational experience. As an intern, you are paired with full-time emp…
Est. 124,000 USD
About the Position Our goal is to give you a real sense of what it's like to work at Jane Street full time while also providing a truly unparalleled educational experience. As an intern, you are paired with full-time emp…
Est. 120,000 GBP
About the Position We are looking for an experienced software engineer to work on code generation in the OxCaml compiler, which is open source. OxCaml is Jane Street’s variant of the OCaml language, equipped with powerfu…
Est. 140,000 USD
About the position We are hiring Production Engineers in our New York office. Jane Street Production Engineers are software developers who spend time both developing software and also providing high-quality support for s…
Est. 124,000 USD
About the Position Our goal is to give you a real sense of what it's like to work at Jane Street full time while also providing a truly unparalleled educational experience. As an intern, you are paired with full-time emp…
About the Position We are hiring Production Engineers in our Hong Kong and Singapore office. Jane Street Production Engineers are software developers who spend time both developing software and also providing high-qualit…
About the Position We are hiring Production Engineers in our Hong Kong office. Jane Street Production Engineers are software developers who spend time both developing software and also providing high-quality support for…
Est. 120,000 GBP
About the Position Linux Engineers work with the critical infrastructure underlying the rest of the firm’s technology. Members of this group are hard-working Systems Engineers, Administrators and Programmers, tasked with…
Est. 124,000 USD
About the Position We're looking to hire a programmer-who-writes, or a writer-who-codes. Here are the kinds of things we’d like to have this person work on: Documentation. We’ve always believed that developers should spe…
Est. 120,000 GBP
About the Position We are seeking a leader for our growing team of Linux Engineers. Members of this group, managers and individual contributors alike, are hard-working Systems Engineers, Administrators, and Programmers,…
Est. 140,000 USD
About the Position We are looking for an experienced software engineer to work on code generation in the OxCaml compiler, which is open source. OxCaml is Jane Street’s variant of the OCaml language, equipped with powerfu…
About the Position Our goal is to give you a real sense of what it's like to work at Jane Street full time while also providing a truly unparalleled educational experience. As an intern, you are paired with full-time emp…
Est. 80,000 GBP
About the Position We are looking to hire engineers with experience in both software and hardware design to help us build our FPGA or ASIC-based applications. We're big believers in the ability of tools to make programmi…
Est. 120,000 GBP
We are looking for a Research Engineer with robust experience in machine learning and strong mathematical foundations to join our growing ML team and to help drive the direction of our ML platform. Machine learning is a…
Est. 140,000 USD
About the Position Linux Engineers work with the critical infrastructure underlying the rest of the firm’s technology. Members of this group are hard-working Systems Engineers, Administrators and Programmers, tasked with…
About the Position Linux Engineers work with the critical infrastructure underlying the rest of the firm’s technology. Members of this group are hard-working Systems Engineers, Administrators and Programmers, tasked with…
Est. 80,000 GBP
About the Position We are looking for Quantitative Researchers to help us build models, strategies and systems that price and trade financial instruments. You'll apply your experience in experiment design, dataset genera…
About the Position Our goal is to give you a real sense of what it's like to work at Jane Street full time while also providing a truly unparalleled educational experience. As an intern, you are paired with full-time emp…
Est. 120,000 GBP
We’re looking for a software engineer who is passionate about front-end development, user-interface design, and typed functional programming. You would take part in the design and implementation of our next-generation of…