Objective Caml jobs

New York, New York

•

2d ago

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

Full-time

Quantitative Trader

New York, New York

•

2d ago

About the Position Our trading is based on our own proprietary models and on busy days we engage in over a million trades. Traders work in teams to seek out and trade on pricing inefficiencies, develop models, manage risk, investigate new products, and push into new business areas. Experienced traders teach and oversee the less-experienced. New traders serve as assistants while they learn the ropes, getting increasing responsibility as they demonstrate their ability to handle it. Technology is a

Full-time

Software Engineer

New York, New York

•

2d ago

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 employees who act as mentors, collaborating with you on real-world projects we actually need done. As a Software Engineering intern, you'll learn how we use OCaml (our primary development language) in our day to day work, and gain exposure to the libraries and tools that are foundat

Full-time

Software Engineer / Writer

New York, New York

•

2d ago

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 spend time and effort documenting their own code, but at the same time, a great writer with a feel for the technology can raise the level of quality in a way that few developers can. Establishing a culture of great docs is especially important as we grow. Building tools that support

Full-time

Production Engineer

New York, New York

•

2d ago

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 software systems that are critical to Jane Street's trading business. Many of our Production Engineers are embedded in various software teams; others are in standalone teams. In both situations we work alongside application developers with a common goal of creating and running gre

Full-time

Compiler Engineer

New York, New York

•

2d ago

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 powerful features for high-performance and parallel programming, with data race freedom guarantees. This role involves the full cycle of identifying new optimizations, coding, testing, benchmarking, and deployment. There will be the opportunity to work across a wide variety of intermedi

Full-time

Software Engineer

New York, New York

•

2d ago

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 critical areas ranging from trading desks to our accounting team, as well as building foundational infrastructure, whether that means implementing network monitoring or risk models. We are big believers in functional programming and, using OCaml, a statically -typed functional pro

Full-time

Software Engineer

New York, New York

•

2d ago

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 believers in functional programming and use OCaml, a statically typed functional programming language, as our primary tool. More recently, Python has become a vital part of Jane Street's research and trading work, acting as the go-to language for data analysis, visualization, and ma

Full-time

Hardware Engineer (FPGA/ASIC)

New York, New York

•

2d ago

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 employees who act as mentors, collaborating with you on real-world projects we actually need done. In this internship, you'll learn how we use tools to make programming faster, more pleasant, and more reliable. We apply these same principles to our hardware engineering work, and we'

Full-time

MacOS Software Engineer

New York, New York

•

2d ago

About the Position We're looking for an experienced Software Engineer with deep macOS software experience who is also willing to work in other languages and on other platforms. In this role, you'll help build and maintain macOS internal applications and services used by our colleagues across the firm. Our macOS footprint is growing, and we want someone who can lead on the platform side of that work-both through hands-on development and guiding the rest of the team around what's reasonable to bui

Full-time

Low-Latency Engineer

New York, New York

•

2d ago

About the Position We are looking for a Software Engineer with experience in high-performance, low latency systems. You'll work closely with our quantitative researchers and developers, taking a holistic approach to design and optimize our fast-trading systems. We build systems primarily in OCaml with only small amounts of C and C++, but you don't need any experience with OCaml in particular (we can teach it to you) or knowledge of the financial markets. The most important qualification is exper

Full-time

Programming Language Engineer

New York, New York

•

2d ago

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 different areas: Language design and type systems. Designing language features and stronger type-level guarantees that let our developers express more of what they mean, and catch more mistakes at compile time. Compilers and optimization. Investing in optimization, code generation,

Full-time

Hardware Engineer (FPGA/ASIC)

New York, New York

•

Today

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 programming faster, more pleasant, and more reliable. We apply these same principles to our hardware engineering work, and we're looking for people who are interested in using programming language technology to improve the process of designing, testing, and validating hardware designs. Th

Full-time

Formal Methods Engineer

New York, New York

•

Today

Full-time

Front End Software Engineer

New York, New York

•

2d ago

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 browser-based tools for operating our trading infrastructure. We're building for expert users, which means we want to maintain a high UX bar, and at the same time create tools that are flexible and powerful enough to satisfy the needs of deeply engaged users. Beyond working on t

Full-time

ASIC Engineer

New York, New York

•

2d ago

About the Position We are looking to hire an experienced ASIC Engineer to help us design, test and deploy advanced hardware designs. As part of our Ultra Low Latency team, you'll have the opportunity to collaborate with people in areas across the firm, including trading, networking and research infrastructure. We are looking for someone who can contribute to all of our projects and be happy to work on both FPGA-based and ASIC-based technologies. We're big believers in the ability of tools to imp

Full-time

Linux Engineer

New York, New York

•

2d ago

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 maintaining and improving the platform that powers Jane Street's production trading systems. Our mix of in-house and open source software allows you to investigate and innovate at every level. On any given day, you could be debugging kernel performance, developing management too

Full-time

ASIC Physical Design Engineer

New York, New York

•

2d ago

About the Position We are looking to hire an ASIC Physical Design Engineer to help us design, test, and deploy advanced hardware. As part of our Ultra Low Latency team, you'll have the opportunity to collaborate with people in areas across the firm, including trading, networking, and research infrastructure. This isn't a traditional PD role. We're a small team where everyone works across the chip design process, and we expect our PD engineers to lead with physical design expertise but think like

Full-time

Software Engineer

New York, New York

•

Today

Full-time

Linux Engineering Manager

New York, New York

•

2d ago

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, tasked with maintaining and improving the platform that powers Jane Street's production trading systems. (Find out more about the Linux Engineer role here). We expect managers to come in and lead by example. As well as supporting their teams, the ideal candidate will be excited t

Full-time