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
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 853,000+ jobs from 20+ sources.
