Impress employers and recruiters.
Choose from hundreds of resume examples.

Target Resume Now

About the Role

Research internships are available in the Tools and Compilers group, focusing on improving OCaml for Jane Street's technology stack and collaborating with the OCaml community. Interns will work on compiler aspects, language features, optimization, and toolchain enhancements, contributing to open-source projects. The internship offers exposure to OCaml usage, foundational libraries, tools, and problem-solving within a large production codebase.

Responsibilities

Collaborate with mentors on a 10-12 week research project.
Learn how OCaml is used in daily work.
Gain exposure to foundational libraries and tools.
Understand the range of problems solved daily.
Apply state-of-the-art research to a large production codebase.
Work on projects related to type systems, formal verification, language features, or compiler testing.

Requirements

PhD and masters students with outstanding research experience.
Experience in programming languages, compilers, verification, and related areas.
Include a list of peer-reviewed publications in your resume.

Skills

Programming languages
Compilers
Verification
Type systems
Formal verification
Language features
Compiler testing
OCaml
Functional programming

Location

Remote

Work Type

Internship
Full-time

Experience Level

PhD
Masters

Education Level

PhD
Masters

Benefits

Access to physical and virtual educational resources
Attend guest speakers
Attend social events

About the Company

Jane Street's Compilers team improves OCaml as a foundation for their technology stack.
The team collaborates with the OCaml community.
Work involves various compiler aspects, aiming to enhance developer expression, code performance, and compiler usability.
Projects include extending type systems, re-engineering optimizers, and adding feedback-directed optimization.
The team also enhances the surrounding toolchain for profiling, debugging, documenting, and build automation.
The majority of their work is open-source and upstreamed to the mainstream OCaml compiler.