Tools Compilers Research and Development
Tools Compilers Research and Development
Employer Active
Job Alert
You will be updated with latest job alerts via email
Share
Job Alert
You will be updated with latest job alerts via email
Job Description
About the Position
We are excited to announce research internships in our Tools and Compilers group. Were looking for PhD and masters students with outstanding research experience in programming languages compilers verification and related areas.
Jane Streets Compilers team focuses on improving OCaml as a foundation for Jane Streets evergrowing 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 reengineered the optimizer groundup and added feedbackdirected 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 opensource 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 1012 weeks. Youll learn how we use OCaml in our daytoday work and gain exposure to the libraries and tools that are foundational to our internal systems. Youll gain a better understanding of the wide range of problems we solve every day. Youll try out new ideas and apply stateofthe art research to a large activelydeveloped production codebase.
Youll 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
Were looking for PhD and masters students with outstanding research experience in programming languages compilers verification and related areas. We dont expect you to have a background in finance OCaml or functional programming. Fluency in English required. Please include the list of your peerreviewed publications in your resume.
If youre a recruiting agency and want to partner with us please reach out to.
Employment Type
Full Time
