Jobs
>
London

    Tools & Compilers Research and Development - London, United Kingdom - Jane Street

    Default job background
    Fall Co-Op
    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:

    • 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.



  • eFinancialCareers London, United Kingdom

    This role is within a global investment management firm that utilizes a diversified portfolio of systematic and quantitative strategies across financial markets that seeks to achieve high quality, uncorrelated returns for their clients. They have deepexpertise in trading, technol ...


  • Imperial College London South Kensington, United Kingdom

    In 2021 the UK rate of stillbirths increased by 7.7% to 4.2 per 1000 births; approximately 1 per 250 births. · A key indicator of problems, and subsequent clinical management of high-risk pregnancies to come, can be measured through fetal movement. Although maternal observation o ...


  • Experis LTD London, United Kingdom

    **Senior Research Software Development Engineer** · As the Senior Research Software Development Engineer, you'll be in the prime position to impact the design of this exciting new storage system by supporting the development of the software driving the system. · Working with a gl ...


  • eFinancialCareers London, United Kingdom

    **Role: · - ** · The role sits alongside Quant researchers at the firm and you will assist in developing/researching new software between the research/trading platform and other parts of the business. · You will work on a lot of coding to see if new ideas can be implemented and w ...


  • eFinancialCareers London, United Kingdom

    **Summary** · Fantastic opportunity to join a growing software start-up based in London as they research low-latency technologies in order to build a high availability, high throughput crypto derivative exchange platform - the world's first of its kind. · The successful Frontend ...


  • Radley James London, United Kingdom

    Job Description Currently working with a cutting edge quant trading firm that employs applied research methods to test investment hypotheses and design quantitative computer-driven trading models across various investment horizons and global liquid asset classes. · They are seek ...

  • GS Solutions

    Research Developer

    1 week ago


    GS Solutions United Kingdom

    Labware Developer Location: London Hybrid: 2 days per week on site Salary: £52, month FTC, opportunity to go permanent)Our client a Biotechnology Research company are currently hiring for a Labware Developer who has preferably worked in a GCP, GXP environment. Experience with LIM ...


  • Rowland Talent Solutions limited England, United Kingdom

    Development Chemist Hampshire We are currently looking for a Development Chemist for a research and development company in Hampshire. Carry out synthetic chemistry and formulation activities. Design and run experiments using several laboratory techniques. Support scale-up and the ...

  • XTX Markets

    Research Developer

    4 hours ago


    XTX Markets London, United Kingdom

    XTX Markets is an algorithmic trading firm that actively trades tens of thousands of instruments on over eighty venues with a daily volume of almost three hundred billion USD. We partner with counterparties, exchanges, and e-trading venues globally to provide consistent liquidity ...

  • GS Solutions

    Research Developer

    6 days ago


    GS Solutions London, United Kingdom

    Hybrid: 2 days per week on site · Salary: £52, month FTC, opportunity to go permanent) · Our client a Biotechnology Research company are currently hiring for a Labware Developer who has preferably worked in a GCP, GXP environment. · SQL Skills · The client are looking to hold int ...

  • XTX Markets Limited

    Research Developer

    1 week ago


    XTX Markets Limited London, United Kingdom

    We provide consistent liquidity, helping market participants throughout the world obtain the best prices in the various assets classes we cover, regardless of changing market conditions. · At XTX Markets technology is our business and we are a diverse organisation which attracts ...


  • Radley James London, United Kingdom

    I am hiring on behalf of a growing mid-frequency trading firm that employs applied research methods to test investment hypotheses and design quantitative computer-driven trading models across various investment horizons and global liquid asset classes. They are actively hiring fo ...


  • Fosroc United Kingdom

    ~ Universities and other research institutions · Role Description · Objectives of the Role: · The Associate Technologist is involved in the development of new products for and the provision of technical support to Fosroc's global network of operating companies. They help to en ...


  • SRG England, United Kingdom

    A family-owned FMCG company are in need of a Development Chemist to join a small team. Job Title: Development Chemist · Salary: Salary range depending on experience · Term: Permanent role · SRG is working with a family-owned FMCG company who are looking for an experienced Chem ...

  • Cleveland Clinic

    Research Development

    2 weeks ago


    Cleveland Clinic London, United Kingdom Full time

    Theatre Scheduling Coordinator page is loaded Theatre Scheduling Coordinator · Apply locations Central London - Victoria time type Full time posted on Posted Yesterday job requisition id Our vision is to be the best place for healthcare anywhere and the best place to work in hea ...


  • Gibson Watts United Kingdom

    Overview: · We've partnered up with an exciting start up who are on a mission to radically decarbonise the £500bn cement industry. After securing £15m in Series A funding, and constructing a state-of-the-art production facility, they're poised to make a substantial impact on car ...


  • Newly Weds Foods United Kingdom

    The Company · Newly Weds Foods is a leading, privately owned global food ingredients business and has been innovating since 1932. The European division is a market leader in the manufacture of coatings, seasonings and functional ingredient systems. · Today, Newly Weds Foods is ...


  • European Recruitment England, United Kingdom

    Become a part of a leading Semiconductor organization in the UK as they search for a Director of Research & Development. In this role, you will be responsible for overseeing the successful design and introduction of upcoming generations of Power MOSFET product families and techno ...


  • The Nudge Group United Kingdom

    Our client is a leading pharmaceutical company committed to improving global health through the development and commercialization of innovative medications. As part of their portfolio, they aim to enhance the pain management range of over-the-counter (OTC) pain relief medications ...


  • European Recruitment United Kingdom

    Become a part of a leading Semiconductor organization in the UK as they search for a Director of Research & Development. In this role, you will be responsible for overseeing the successful design and introduction of upcoming generations of Power MOSFET product families and techno ...