Tools And Compilers Research And Development

Jane Street

New York, United States
On-site
Outstanding research experience in programming languages
Experience in compiler design and optimization
Background in formal verification methods
The role involves improving the OCaml compiler's performance, usability, and type system features through advanced research

Job Summary

  • The role involves improving the OCaml compiler's performance, usability, and type system features through advanced research.
  • Interns will collaborate with mentors on a specific project for 10-12 weeks, applying state-of-the-art research to a production codebase.
  • Participants gain exposure to foundational internal systems, educational resources, and social events to understand full-time work culture.

Matching Summary

The role involves improving the OCaml compiler's performance, usability, and type system features through advanced research.

Skills & Requirements

Must-have

  • Outstanding research experience in programming languages
  • Experience in compiler design and optimization
  • Background in formal verification methods

Nice-to-have

  • Interest in open-source software contributions
  • Familiarity with functional programming paradigms
  • Experience with profiling and debugging tools

Key Requirements

  • PhD or Masters student status required
  • Peer-reviewed publications in relevant fields required
  • No prior finance or OCaml background expected

Work Rights

Not specified

Tailored Resume

Cover Letter