- Type systems that track locality and uniqueness
- Superoptimization
- Compiler testing and validation
-
Quant Researcher/developer
1 week ago
eFinancialCareers London, United KingdomThis 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 ...
-
Research Associate Developing Wearable Fetal
1 week ago
Imperial College London South Kensington, United KingdomIn 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 ...
-
Quant Pod Adding Quant Developer/ Researcher
1 week ago
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 ...
-
Researcher Developer
5 days ago
Radley James London, United KingdomJob 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 ...
-
Research Developer
1 week ago
GS Solutions United KingdomLabware 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 ...
-
Research and Development
2 weeks ago
Rowland Talent Solutions limited England, United KingdomDevelopment 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 ...
-
Research Developer
4 hours ago
XTX Markets London, United KingdomXTX 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 ...
-
Research Developer
6 days ago
GS Solutions London, United KingdomHybrid: 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 ...
-
Research Developer
1 week ago
XTX Markets Limited London, United KingdomWe 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 ...
-
Researcher Developer
1 week ago
Radley James London, United KingdomI 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 ...
-
Research and Development
1 week ago
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 ...
-
Research and Development
3 days ago
SRG England, United KingdomA 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 ...
-
Research Development
2 weeks ago
Cleveland Clinic London, United Kingdom Full timeTheatre 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 ...
-
Head of Research And Development
3 days ago
Gibson Watts United KingdomOverview: · 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 ...
-
Technologist - Research & Development
3 days ago
Newly Weds Foods United KingdomThe 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 ...
-
Director of Research Development
1 day ago
European Recruitment England, United KingdomBecome 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 ...
-
Head of Research And Development
2 days ago
The Nudge Group United KingdomOur 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 ...
-
Director of Research Development
2 days ago
European Recruitment United KingdomBecome 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 ...
Tools & Compilers Research and Development - London, United Kingdom - Jane Street
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:
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.