Tools & Compilers Research and Development

Benefits

Parental leave

Not verified

Non-birth-parent leave

Not verified

Family-building benefits

• Fertility benefits: Not verified
• Adoption assistance: Not verified
• Surrogacy assistance: Not verified

Mental health support

Not verified

Relocation assistance

Not verified

Childcare support

Not verified

Learning budget

Not verified

Verification

Not verified

Salary

Not verified

Was this benefit information wrong? Tell us.

Schedule

Shift type

Not verified

Weekend work

Not verified

Application

Cover letter

Not verified

Assessment

Not verified

Deadline

Not stated

Where they hire

State eligibility is not yet verified.

About this role

Tools & Compilers Research and Development London, England, United Kingdom 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. During the application process, we will work with you to identify a project that aligns with your research expertise and interests. Examples of areas we are interested in exploring include: - Type systems that track locality and uniqueness - Superoptimization - Compiler testing and validation During the internship, you will work in collaboration with your mentors on one project for about 10-12 weeks. You'll learn how we use OCaml in our day-to-day work, and gain exposure to the

Read the full description at job-boards.greenhouse.io. FewerJobs shows a source-linked preview and links to the original posting.