Tools & Compilers Researcher
Tools & Compilers Researcher
Jane Street
London, England
Job ID : 6646715132535242544950576b56564b49673d3d
Job Description :
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:
- Verifying C bindings with respect to OCaml’s garbage collector
- Superoptimization
- 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 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. Should be available to complete the internship from Summer 2022.
Jane Street is an Equal Opportunity Employer
Company Details :
Name : Jane Street
CEO : Sandor Lehoczky
Headquarter : New York, United States
Revenue : Unknown / Non-Applicable
Size : 1001 to 5000 Employees
Type : Company - Private
Primary Industry : Research & Development
Sector Name : Management & Consulting
Year Founded : 2000
pixelaxiom.com is the go-to platform for job seekers looking for the best job postings from around the web. With a focus on quality, the platform guarantees that all job postings are from reliable sources and are up-to-date. It also offers a variety of tools to help users find the perfect job for them, such as searching by location and filtering by industry. Furthermore, pixelaxiom.com provides helpful resources like resume tips and career advice to give job seekers an edge in their search. With its commitment to quality and user-friendliness, pixelaxiom.com is the ideal place to find your next job.
Details
: London, England
: 51600 - 74309 GBP ANNUAL
: Today
