Tools & Compilers Research and Development
Jane StreetLondon, England, United Kingdom · Posted Jan 27, 2022Description
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.
Similar jobs
Est. 80,000 USD
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, ve…
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 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. 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. 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. 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. 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 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. 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 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 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. 165,000 USD
Jane Street Group, LLC has multiple openings for the position of Senior Software Engineer in New York, NY. The position duties are as follows: Develop software in OCaml as part of the trading and operational infrastructu…
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…
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 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 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…
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 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'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. 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'll be paired with full-time e…
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. 140,000 USD
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…
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 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'll be paired with full-time e…
Est. 45,000 GBP
Jump Trading Group is committed to world class research. We empower exceptional talents in Mathematics, Physics, and Computer Science to seek scientific boundaries, push through them, and apply cutting edge research to g…
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. 60,000 GBP
About the Position Our goals are to give you a real sense of what it's like to work as a Quantitative Researcher at Jane Street while also providing a truly unparalleled educational experience. You'll work side by side w…
Est. 55,000 GBP
About the Position If you are imagining a daily routine that involves making copies and watching as someone turns a computer off and back on, think again: this is not your typical IT internship. Our goal is to give you a…