# Tools and Compilers Research and Development :: Jane Street [Janestreet](https://gurify.com/jobs?q=Janestreet) · New York, United States · Posted 56 months ago [Apply on the original posting → (opens in a new tab)](https://job-boards.greenhouse.io/janestreet/jobs/5869205002) ## Job description ### 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. **Live in Janestreet’s hiring system.** Read from the company's own applicant tracking system, not reposted from a job board — so it's a real, open requisition rather than an ad that outlived the role. We remove it as soon as it disappears at source. ## More jobs like this - JA [Data Center Operations Engineer :: Jane Street](https://gurify.com/job/data-center-operations-engineer-jane-street-at-janestreet-efe915e1f751) Janestreet · Austin, United States · 2 weeks ago - JA [Regulatory Exam Manager - Jane Street](https://gurify.com/job/regulatory-exam-manager-jane-street-at-janestreet-a154d1a67880) Janestreet · New York, United States · 5 weeks ago - JA [Accounting Coordinator - Jane Street](https://gurify.com/job/accounting-coordinator-jane-street-at-janestreet-304b090776b0) Janestreet · New York, United States · 5 weeks ago - JA [Recruiting Operations Specialist - Jane Street](https://gurify.com/job/recruiting-operations-specialist-jane-street-at-janestreet-2458cece0063) Janestreet · New York, United States · 6 weeks ago - JA [Software Engineer - Jane Street](https://gurify.com/job/software-engineer-jane-street-at-janestreet-f61a8d08dd2d) Janestreet · New York, United States · 2 months ago - BA [IC at Babel Street](https://gurify.com/job/ic-at-babel-street-at-babelstreet-7b90c3746857) Babelstreet · Reston, United States · last week ```json {"@context":"https://schema.org/","@type":"JobPosting","title":"Tools and Compilers Research and Development :: Jane Street","description":"\u003Ch3\u003EAbout the Position\u003C/h3\u003E\u003Cp\u003EWe are excited to announce research internships in our Tools and Compilers group. We\u0026#39;re looking for PhD and masters students with outstanding research experience in programming languages, compilers, verification, and related areas.\u003C/p\u003E\u003Cp\u003EJane Street\u0026#39;s Compilers team focuses on improving OCaml as a foundation for Jane Street\u0026#39;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.\u003C/p\u003E\u003Cp\u003EOver 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.\u003C/p\u003E\u003Cp\u003EDuring the internship, you will work in collaboration with your mentors on one project for about 10-12 weeks. You\u0026#39;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\u0026#39;ll gain a better understanding of the wide range of problems we solve every day. You\u0026#39;ll try out new ideas and apply state-of-the-art research to a large actively-developed production codebase.\u003C/p\u003E\u003Cp\u003EWe\u0026#39;ll pick a project that combines your research background with our active work on the OCaml compiler and core libraries. Example project areas include:\u003C/p\u003E\u003Cul\u003E\u003Cli\u003EType systems that track locality and uniqueness\u003C/li\u003E\u003C/ul\u003E\u003Cul\u003E\u003Cli\u003EFormal verification of OCaml programs\u003C/li\u003E\u003C/ul\u003E\u003Cul\u003E\u003Cli\u003ENew language features for systems programming\u003C/li\u003E\u003C/ul\u003E\u003Cul\u003E\u003Cli\u003ECompiler testing and validation\u003C/li\u003E\u003C/ul\u003E\u003Cp\u003EYou\u0026#39;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.\u003C/p\u003E\u003Ch3\u003EAbout You\u003C/h3\u003E\u003Cp\u003EWe\u0026#39;re looking for PhD and masters students with outstanding research experience in programming languages, compilers, verification, and related areas. We don\u0026#39;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.\u003C/p\u003E","identifier":{"@type":"PropertyValue","name":"Gurify","value":"tools-and-compilers-research-and-development-jane-street-at-janestreet-d62a69b1726f"},"url":"https://gurify.com/job/tools-and-compilers-research-and-development-jane-street-at-janestreet-d62a69b1726f","datePosted":"2022-01-29","validThrough":"2026-11-09T23:59:59Z","hiringOrganization":{"@type":"Organization","name":"Janestreet","sameAs":"https://job-boards.greenhouse.io/janestreet"},"directApply":false,"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressCountry":"US","addressLocality":"New York"}}} ``` ```json {"@context":"https://schema.org/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Jobs","item":"https://gurify.com/jobs"},{"@type":"ListItem","position":2,"name":"United States","item":"https://gurify.com/jobs/united-states"},{"@type":"ListItem","position":3,"name":"Tools and Compilers Research and Development :: Jane Street","item":"https://gurify.com/job/tools-and-compilers-research-and-development-jane-street-at-janestreet-d62a69b1726f"}]} ```