Tools & Compilers Research and Development

2 Months ago • All levels

Job Summary

Job Description

This is a research internship opportunity in the Tools and Compilers group. The role involves collaborating with mentors on a project for approximately 10-12 weeks, focusing on enhancing the OCaml compiler and toolchain. Interns will work on projects aligned with their research expertise, such as type systems, superoptimization, and compiler testing. They will also gain exposure to internal systems, educational resources, and social events. The goal is to apply research to a production codebase and understand the day-to-day work environment.
Must have:
  • Outstanding research experience in programming languages, compilers, or verification.
  • Fluency in English is required.
  • Peer-reviewed publications must be included in the resume.

Job Details

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 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 masters 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. Please include the list of your peer-reviewed publications in your resume.

 

If you're a recruiting agency and want to partner with us, please reach out to agency-partnerships@janestreet.com.

Similar Jobs

Electronic Arts - Client Software Engineer

Electronic Arts

Seoul, South Korea (Hybrid)
1 Month ago
Ruselle Investments - Senior SDET I

Ruselle Investments

Mumbai, Maharashtra, India (On-Site)
1 Week ago
Rippling - Senior Forward Deployed Engineer

Rippling

Austin, Texas, United States (On-Site)
4 Months ago
Eccentric - Full Stack Engineer

Eccentric

Mumbai, Maharashtra, India (On-Site)
2 Months ago
Cubic corporation - Senior Application Support Engineer

Cubic corporation

Hyderabad, Telangana, India (On-Site)
3 Weeks ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

GoMotive - Principal Data Platform Engineer

GoMotive

United States (Remote)
2 Weeks ago
GameChanger - IT Support Analyst (Contract)

GameChanger

New York, United States (Hybrid)
2 Weeks ago
cyara - Senior Software Development Engineer in Test (SDET)

cyara

Hyderabad, Telangana, India (Hybrid)
10 Months ago
Passive Logic - Senior Embedded Systems Engineer

Passive Logic

Salt Lake City, Utah, United States (On-Site)
9 Months ago
HCL Tech - Guidewire Domain Consultant

HCL Tech

Texas, United States (On-Site)
1 Month ago
Epic Games - Senior Tester

Epic Games

Cary, North Carolina, United States (On-Site)
3 Months ago
Evolution  - Equipment Support Specialist

Evolution

Birkirkara, Malta (On-Site)
3 Months ago
Accenture - Application Lead

Accenture

Chennai, Tamil Nadu, India (On-Site)
2 Months ago
Penumbrainc - Manufacturing Engineer II - Electromechanical

Penumbrainc

Alameda, California, United States (On-Site)
2 Months ago
Expedia - Advanced Data Insights Analyst III (Marketing Analytics)

Expedia

London, England, United Kingdom (On-Site)
1 Month ago

Get notifed when new similar jobs are uploaded

Jobs in London, England, United Kingdom

Iron Mountain - Shift Supervisor

Iron Mountain

Hemel Hempstead, England, United Kingdom (On-Site)
2 Months ago
InMobiInMobi - Senior Manager Demand Partnerships

InMobiInMobi

London, England, United Kingdom (On-Site)
1 Month ago
Xplor Technologies - Account Executive II

Xplor Technologies

London, England, United Kingdom (On-Site)
2 Months ago
Power Integrations - Senior Digital IC Design Engineer

Power Integrations

Cambridge, England, United Kingdom (On-Site)
2 Months ago
Scopely - Senior Product Manager - Growth

Scopely

London, England, United Kingdom (Remote)
5 Months ago
Qualcomm - Senior Digital Design Engineer

Qualcomm

Cambridge, England, United Kingdom (On-Site)
1 Month ago
WongDoody - JOIN OUR FREELANCE COMMUNITY

WongDoody

London, England, United Kingdom (On-Site)
8 Months ago
Toast - Business Development Manager

Toast

Nottingham, England, United Kingdom (Hybrid)
1 Month ago
Ion - Principal Business Consultant - Endur

Ion

London, England, United Kingdom (On-Site)
9 Months ago
GT HQ - Senior Back-End Developer (Node.js)

GT HQ

United Kingdom (Remote)
1 Month ago

Get notifed when new similar jobs are uploaded

Similar Category Jobs

Looks like we're out of matches

Set up an alert and we'll send you similar jobs the moment they appear!

About The Company

Jane Street is a quantitative trading firm with offices in New York, London, Hong Kong, Singapore, and Amsterdam. We are always recruiting top candidates and we invest heavily in teaching and training. The environment at Jane Street is open, informal, intellectual, and fun. People grow into long careers here because there are always new and interesting problems to solve, systems to build, and theories to test.



New York, United States (On-Site)

Hong Kong (On-Site)

New York, United States (On-Site)

New York, United States (On-Site)

New York, United States (On-Site)

London, England, United Kingdom (On-Site)

New York, United States (On-Site)

Hong Kong (On-Site)

London, England, United Kingdom (On-Site)

New York, United States (On-Site)

View All Jobs

Get notified when new jobs are added by Jane Street

Level Up Your Career in Game Development!

Transform Your Passion into Profession with Our Comprehensive Courses for Aspiring Game Developers.

Job Common Plug