Tools & Compilers Researcher Internship, Flexible - New York

Jane Street

May 30

Applications are closed

Internship
Full-time
Off-cycle Internship
Research & Development
$250K
New York

Requirements

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. Fluency in English required. Please include the list of your peer-reviewed publications in your resume.

Responsibilities

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 application process, we will work with you to identify a project that aligns with your research expertise and interests. Examples of areas we are interested in exploring include:
Verifying C bindings with respect to OCaml’s garbage collector
Superoptimization
Type systems that track locality and uniqueness
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.
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.

FAQs

What types of candidates are you looking for in this internship?**

We are seeking PhD and master's students with outstanding research experience in programming languages, compilers, verification, and related areas. **Question: When is the internship available?** **Answer:** The research internships are available to complete starting from Summer 2022. **Question: What is the focus of Jane Street's Compilers team?** **Answer:** The focus of Jane Street's Compilers team is to improve OCaml as a foundation for our technology stack, in collaboration with the greater OCaml community. **Question: What are the key goals of the research in this internship?** **Answer:** The key goals include making it easier for developers to express their ideas in OCaml, improving the performance of the generated code, and enhancing the OCaml compiler to be faster and easier to use. **Question: Where is the internship located?** **Answer:** The internship is flexible and located in New York. **Question: Is collaboration a part of this role?** **Answer:** Yes, collaboration with the greater OCaml community is an integral part of the work in this internship. **Question: What specific areas might the research cover?** **Answer:** The research may cover various aspects of programming languages, compilers, verification, and improvements specific to OCaml. **Question: Will there be opportunities for hands-on coding during the internship?** **Answer:** While the specific tasks may vary, interns can expect to engage in hands-on coding, as well as research and development activities related to compiler improvements.

Jane Street

Finance

Industry

1001-5000

Employees

2000

Founded Year

Mission & Purpose

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.