Tools & Compilers Researcher Internship

Master's/PhD required - Systems/Software/IT.

About the Position

We are excited to announce research internships in our Tools and Compilers group. We’re looking for PhD and Master's 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 optimiser ground-up, and added feedback-directed optimisation.

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:

  • Verifying C bindings with respect to OCaml’s garbage collector
  • Superoptimisation 
  • Type systems that track locality and uniqueness
  • 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 libraries and tools that are foundational to our internal systems. You’ll gain a better understanding of the wide range of problems we solve every day. You’ll try out new ideas and apply state-of-the art research to a large actively-developed production codebase.
  • You’ll also be able to access our physical and virtual educational resources, attend guest speakers and social events, and hopefully get a real sense of what it would be like to work here full time.

About You

We’re looking for PhD and Master's students with outstanding research experience in programming languages, compilers, verification, and related areas. We don’t expect you to have a background in finance, OCaml, or functional programming. Fluency in English required. 

Jane Street is an Equal Opportunity Employer.

1e127ede32d8f816eacfb0aed73cee11

This button will open a new tab and take you directly to the employer's website to apply.
Please remember, if asked, that you found this job on Gradcracker.
Save to shortlist
Shortlisted
  • Deadline
    Ongoing
  • Salary
    Competitive + benefits
  • Degree required
    Master's and above (expected)
  • Duration
    Summer
  • Location
    London
Show locations on map
Preferred Disciplines...
  • Computer Science
  • Data Science
  • Information Technology
  • Product Design
  • Software
  • Systems
Also Accepting...
  • Analytics
  • Automotive
  • Cyber Security
  • Electrical
  • Electronic
  • Hardware
  • IT Architecture
  • Mechanical
  • Mechatronics
  • Robotics
  • Telecommunications
  • Web Development
Hot Tip
All work experience counts
Flipping burgers? Stacking shelves? Pulling pints? Mention it
Follow your favourite employers
Save jobs to your shortlist
Receive personalised alerts
Access our live webinars
Register now
On the move? Download The App
Gradcracker Logo
Gradcracker Limited, October House, Long Street, Easingwold, York, YO61 3HX
01347 823822 | info@gradcracker.com | Company registration number: 6370348
© 2007 - 2024 Gradcracker Limited
Gradcracker and Cookies
We use cookies to ensure that we give you the best experience on our website.
If you continue we'll assume that you are happy to receive all cookies from Gradcracker.
Continue
Learn more