Jane Street
Tools and Compilers Research and Development
New York, New York, United States
Get past the screening software and onto a recruiter's desk
hirly rewrites your resume for this job — matching the keywords and skills in the posting, moving your most relevant experience to the top, and writing a cover letter to fit. About 30 seconds.
- Keywords matched to this posting
- Fit score before you apply
- Cover letter included
Matched against 2.6M live jobs from 210,000+ employers in 200+ countries.
Tailor my resume for this job →Apply from your AI assistant
Connect hirly to Claude or ChatGPT and ask it to apply to this job. hirly tailors your resume, fills the employer’s form and asks before sending.
Some employer sites stop an application at a CAPTCHA or sign-in and hand it back with a link. Applying needs a paid plan. Works with any assistant that supports MCP.
hirly's read of this role
- Seniority
- Mid level
- Country
- US
- Work mode
- On-site / unstated
- First seen by hirly
- 8 Sept 2026
Derived automatically from the posting. Upload your resume above to see how the role scores against it.
the posting
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.
Listed on hirly, a job board. hirly is not the employer: Jane Street is hiring for this role.
Browse similar roles
Want this one?
Upload your resume and hirly rewrites it for this job and writes the cover letter — in about thirty seconds, before you sign up.
Tailor my resume for this job