Tools and Compilers Research and Development
Jane StreetAdded 8h ago
Create a free account to save this job and browse the whole board.
Create free accountQuick summaryby newgrad.ai
What you'll do
- Collaborate with mentors on compiler and tools research project for 10-12 weeks
- Work on OCaml compiler improvements including type systems, optimization, and toolchain
- Apply research to production codebase in areas like verification and language features
- Gain exposure to Jane Street's internal libraries, tools, and systems
What they're looking for
- PhD or masters students with strong research background in programming languages or compilers
- Experience in verification, type systems, or related areas
- Peer-reviewed publications required in resume
- No finance, OCaml, or functional programming background needed
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.
Apply on Jane Street's site.
Apply nowListing wrong or expired, or you're the employer and want it removed? Let us know.