Tools & Compilers Research and Development
Core
Research internship focusing on improving the OCaml compiler and toolchain to enhance developer productivity, code performance, and compiler efficiency.
Role type
Research intern (PhD/Masters)
Builds
OCaml compiler, core libraries, and surrounding toolchain (profiling, debugging, documentation, build automation)
Domain
Programming languages, compilers, formal verification, systems programming
Deliverable
production ML models | product features | research
Required skills
programming languages, compilers, verification, research experience
Preferred skills
peer-reviewed publications
Technologies
OCaml
Responsibilities
Collaborate with mentors on a specific research project, apply state-of-the-art research to a production codebase, work on type systems, formal verification, or new language features
Seniority
Intern
Sourced via greenhouse · Listed on CareerPlan, which tracks 70,000+ jobs from 20+ sources.
