Tools and Compilers Research and Development Intern

ship, New York:: Jane Street Jane Street Group, LLC uses cookies and similar technologies, including third-party cookies, on this Site to provide basic functionalities and perform analytics. You may accept or decline cookies by selecting “Accept” or “Reject”. For information regarding our cookie practices, see Jane Street’s Ad and Cookie Policy. Accept All Reject All

THE LATEST

CULTURE

JOIN JANE STREET

mobile navigation menu toggle

OVERVIEW

CLIENT OFFERING

GLOBAL CAPITAL MARKETS

The Latest Culture

OVERVIEW

BENEFITS

OUR OFFICES

STREET VIEW

PUZZLES

Join Jane Street

OVERVIEW

DEPARTMENTS

OPEN ROLES

PROGRAMS AND EVENTS

INTERNSHIPS

INTERVIEWING

CONTACT US

• Disclosures & Policies
• Privacy
• Fraud and Impersonation

Warnings Join Jane Street Open roles

Tools and Compilers Research and Development Internship, Flexible

LOCATION

NYC

DEPARTMENT

Technology

TEAM

Software Engineering Apply Share this job

About the Position

We are excited to announce research internships in our Tools and Compilers group. We're looking for PhD and masters students with outstanding research experience in programming languages, compilers, verification, and related areas. Jane Street's Compilers team focuses on improving OCaml as a foundation for Jane Street's ever-growing technology stack, in collaboration with the greater OCaml community.

We work on many different aspects of the compiler, aiming to make it easier for developers to express their ideas in OCaml, to improve the performance of the generated code, and to make the OCaml compiler itself faster and easier to use. Over the years, we extended the type system with support for novel language features, re-engineered the optimizer ground-up, and added feedback-directed optimization. We also extend and enhance the surrounding toolchain, working on tools for profiling, debugging, documenting, and building automation.

The vast majority of our work is open-source, and we upstream as much as we can to the mainstream OCaml compiler. During the internship, you will work in collaboration with your mentors on one project for about 10-12 weeks. You'll learn how we use OCaml in our day-to-day work, and gain exposure to the libraries and tools that are foundational to our internal systems. You'll gain a better understanding of the wide range of problems we solve every day.

You'll try out new ideas and apply state-of-the-art research to a large actively-developed production codebase. We'll pick a project that combines your research background with our active work on the OCaml compiler and core libraries. Example project areas include:

• Type systems that track locality and uniqueness
• Formal verification of OCaml programs
• New language features for systems programming
• Compiler testing and validation

You'll also be able to access our physical and virtual educational resources, attend guest speakers and social events, and hopefully get a real sense of what it would be like to work here full-time. About You We're looking for PhD and masters students with outstanding research experience in programming languages, compilers, verification, and related areas. We don't expect you to have a background in finance, OCaml, or functional programming. Please include the list of your peer-reviewed publications in your resume. Base salary is $250,000.

Jane Street is an Equal Opportunity Employer Apply Share this job Helpful Links web page Technology at Jane Street The work at Jane Street is technologically intense, and the systems we build play an essential role in everything we do. blog Jane Street Blog Musings from our engineers web page Open Source From committing patches to the Linux kernel to releasing our own projects, we’re always looking for ways to participate in the open source community. podcast episode An inside look at Jane Street's tech internship web page Internships at Jane Street tech talks Tech Talks A series of public tech talks,

with speakers from Jane Street and the wider tech world.

GTKU

Get to Know Us: Rory talks Production Engineering

GTKU

Get to Know Us: Brittany talks Software Engineering Our office in New York