Research Internship in Tools and Compilers Development

About the Position We are thrilled to offer research internships in our Tools and Compilers team at Jane Street. We are seeking PhD and master's students with exceptional research backgrounds in programming languages, compilers, verification, and associated fields. The Compilers team at Jane Street is dedicated to enhancing OCaml as a cornerstone for our expanding technology ecosystem, working closely with the broader OCaml community. Our efforts span various aspects of the compiler, aiming to simplify the process for developers to articulate their concepts in OCaml, augment the efficiency of the generated code, and enhance the usability and speed of the OCaml compiler itself. Over the years, we have enriched the type system to incorporate innovative language features, rebuilt the optimizer from the ground up, and implemented feedback-directed optimization. We also enhance the surrounding toolchain, developing tools for profiling, debugging, documentation, and build automation. The majority of our work is open-source, and we strive to contribute as much as possible back to the mainstream OCaml compiler. During the application process, we will collaborate with you to find a project that aligns with your research expertise and interests. Some areas we are keen to explore include: Type systems that track locality and uniqueness Superoptimization Compiler testing and validation Throughout the internship, you will work closely with your mentors on a specific project for approximately 10-12 weeks. You will learn about our daily use of OCaml, gain insight into the libraries and tools that are fundamental to our internal systems, and better understand the diverse range of challenges we tackle daily. You will have the opportunity to experiment with new ideas and apply cutting-edge research to a large, actively developed production codebase. Additionally, you will have access to both physical and virtual educational resources, attend guest speaker sessions and social events, and hopefully gain a genuine sense of what it would be like to work with us full-time.

About BasisBasis is a pioneering nonprofit organization dedicated to applied AI research, driven by a dual mission.Firstly, we aim to deepen our understanding and development of intelligence. This involves establishing the mathematical foundations of reasoning, learning, decision-making, understanding, and explanation, along with creating software that embodies these principles.Secondly, we strive to enhance society’s capacity to tackle complex challenges. This means broadening the scale and complexity of the problems we can address today, while also accelerating our future problem-solving capabilities.To realize these aims, we are constructing an innovative technological framework inspired by human reasoning and fostering a collaborative organization that prioritizes human values.About the RoleAs a Research Scientist at Basis, you will play a crucial role in advancing our understanding of the theoretical, mathematical, and computational principles underlying intelligence.Our Research Scientists possess key characteristics:Outstanding technical expertise—strong mathematical and computational foundations.A creative builder’s mindset—capable of designing, constructing, and refining complex systems based on foundational principles.Commitment to scientific rigor—engaging in high-quality, robust scientific inquiry without hesitance to experiment, learn from mistakes, and explore unconventional ideas.At Basis, collaboration is key, both within our teams and with external partners. We seek individuals who thrive in collaborative environments and are eager to tackle challenges that transcend individual capabilities.Programming Languages Research ScientistsThis role is tailored for experts in the design, implementation, and analysis of programming languages. You will assist in the design and implementation of the foundational computational reasoning systems under development at Basis.Key focus areas of programming languages research include compiler design, partial evaluation, program analysis, abstract interpretation, and program transformation. This work is conducted within the context of constructing reasoning systems, leading to engagement with topics such as probabilistic programming, automatic differentiation, and SAT/SMT solvers.Expectations:Possess a PhD (or equivalent experience) in a relevant field.

About the RoleSigma Computing is revolutionizing the field of business intelligence by making intricate data analysis straightforward and accessible through our high-performance platform designed for the modern data stack. The Compiler Team is integral to this mission, converting user-driven spreadsheet operations into highly optimized SQL queries, which empowers users to perform exploratory analytics seamlessly on cloud data warehouses. As a member of the Compiler Team, you will collaborate with a talented group of engineers focused on developing the core systems and abstractions that enhance Sigma’s user-friendly spreadsheet interface, ensuring speed, reliability, and scalability for all users.What You Will Be DoingAddress core challenges at the intersection of data modeling, query compilation, and large-scale interactive analytics, enabling end-users to query data warehouses effectively without requiring deep technical expertise.Design, build, and maintain advanced compiler infrastructure and intermediate representations that convert spreadsheet operations into optimized query plans.Implement advanced optimization techniques to enhance performance and accuracy across diverse query workloads and data architectures.Contribute to both backend (Rust) and key frontend foundations (TypeScript), evolving crucial abstractions that facilitate end-to-end workflow optimizations and introduce new features.Debug, analyze, and resolve complex issues, ensuring robustness and maintainability within a rapidly evolving product.Work in collaboration with engineers and product stakeholders to review designs and code, promoting technical best practices and architectural decisions across the team and company.

About BasisBasis is a pioneering nonprofit organization dedicated to applied AI research, driven by two interlinked objectives.The first goal is to comprehend and construct intelligence. This involves establishing the mathematical foundations of reasoning, learning, decision-making, understanding, and explanation, alongside developing software that embodies these principles.The second objective is to enhance society's capacity to tackle complex challenges. This entails broadening the range, complexity, and scope of problems we address today, while importantly expediting our future problem-solving capabilities.To realize these ambitions, we are establishing a novel technological foundation inspired by human reasoning, as well as a unique collaborative organization that prioritizes human values.About the RoleAs a Research Engineer on the Platform team at Basis, you will propel research methodologies forward and package them into modular components for reuse by others. Your responsibilities include developing core technology modules (such as ChiRho, Effectful, Weighted), enhancing research-backed features for commercial platforms, and ensuring that research advancements lead to tangible impacts—both commercially and socially.We are seeking individuals who can merge research excellence with engineering precision. The ideal candidate has a background in both published research and production code, possesses the ability to translate experimental techniques into solid implementations, and thoughtfully approaches software architecture to facilitate others in building upon your contributions. You will identify high-impact research challenges aligned with Basis's mission and guide them from conception to concrete execution.This position is distinct from Operations Research Engineers (who concentrate on internal tools) as it emphasizes advancing research methods for platform and commercial applications. You will collaborate on Core Tech Module Teams and contribute to research that shapes the technological bedrock of Basis.We value individuals who excel at technical tasks and are unafraid to delve into foundational concepts. Our research engineers strive for thorough, high-quality, robust science and engineering, while embracing experimentation, learning from mistakes, and exploring unconventional ideas to achieve their goals.Basis thrives on collaboration, both internally and with our external partners; we seek individuals who enjoy working collectively on challenges that exceed individual capabilities.

Bravos Research stands at the forefront of investment research and financial media, specializing in video-first content. Our mission is to empower investors with insightful, data-driven research to navigate the complexities of global markets.As the proud creator of the largest investment research channel on YouTube, we have amassed over 75 million views and a substantial subscriber base for our premium research services.We are on the lookout for a Senior Research Analyst who can merge institutional-level macroeconomic insights with captivating storytelling. In this role, you will transform intricate economic data into engaging narratives and manage the end-to-end research and scriptwriting process for our animated videos, focusing on US and global macro trends, liquidity, credit markets, commodities, and cryptocurrencies.Key Responsibilities:Produce high-conviction insights regarding global business cycles, equity markets, central bank policies, and asset allocation strategies.Craft compelling, thoroughly sourced scripts that simplify complex economic concepts for a broad audience without compromising depth.Collaborate with team members to establish the firm's investment strategy and overarching perspectives.

About BasisBasis is a nonprofit organization dedicated to applied artificial intelligence research. Our mission is twofold: to understand and build intelligence and to advance society’s problem-solving capabilities. We strive to unravel the mathematical principles behind reasoning, learning, decision-making, understanding, and explanation, while also developing software that embodies these principles.Our commitment extends to enhancing our ability to tackle complex issues that are beyond today's capabilities and accelerating our potential to address future challenges. We are creating a technological framework inspired by human reasoning, alongside fostering a collaborative organization that prioritizes human values.About the RoleAs a Research Scientist, you will spearhead Basis’ initiatives to deepen our understanding of the conceptual, mathematical, and computational principles of intelligence. We seek individuals who excel technically and are passionate about exploring foundational concepts. Our research team values rigorous, high-quality scientific endeavors while encouraging experimentation and exploration of innovative ideas.Basis thrives on collaboration, both internally and with external partners. We are looking for team players who enjoy tackling significant problems that require collective effort.Research FocusDespite the growing acknowledgment that acquiring and understanding world models is crucial for intelligence, current AI systems face challenges in mirroring this human capability. Key uncertainties remain regarding the essence of a world model, methods for reliably detecting its presence in agents, and approaches to develop agents capable of learning these models effectively.Our research, particularly within the MARA project, seeks to establish new foundations and technologies for modeling, abstraction, and reasoning in AI systems. MARA's goal is to identify principled methods for how intelligence constructs, refines, and employs world models through interactive experimentation. Achieving this will require advancements in knowledge representation, abstraction, reasoning, active learning, and reinforcement learning, necessitating a first-principles reevaluation of world modeling.

About BasisBasis is a pioneering nonprofit organization dedicated to applied AI research, driven by dual objectives that enhance each other.Our primary focus is to understand and construct intelligence. This encompasses establishing the fundamental mathematical principles of reasoning, learning, decision-making, comprehension, and explanation, alongside developing software that embodies these principles.Secondly, we aim to empower society to tackle complex challenges. This involves broadening the scale, complexity, and scope of problems we can currently address and, crucially, accelerating our future problem-solving capabilities.To realize these ambitions, we are establishing an innovative technological framework inspired by human reasoning and fostering a collaborative environment that prioritizes human values.About the RoleAs a Research Engineer, you will play a vital role in advancing Basis’ mission by converting research concepts into accurate, robust, and scalable high-quality code.We are looking for technically proficient individuals who are enthusiastic about delving deep into foundational concepts. Our research engineers are committed to conducting rigorous, high-quality science, unafraid to experiment, learn from mistakes, and explore innovative ideas.Basis thrives on collaboration, both within our team and with external partners. We seek individuals who enjoy tackling challenges greater than they can manage alone.Machine Learning Research Engineer Focus AreasThis position is aimed at experts in machine learning engineering. Key areas of focus include:Probabilistic programming and statistical inferenceDeep learningCausal inferenceProgram synthesis and analysisML Ops and systems engineeringThese areas will be explored in the context of developing reasoning systems. Research engineers will also engage with topics including programming language design and implementation, automatic differentiation, and SAT/SMT solvers.

About BasisBasis is a nonprofit organization dedicated to applied AI research, striving to achieve two interconnected objectives.Firstly, we aim to understand and develop intelligence. This involves establishing the mathematical foundations of reasoning, learning, decision-making, comprehension, and explanation; along with creating software that embodies these principles.Secondly, we seek to enhance society's capacity to address complex challenges. This means broadening the range, scale, and intricacies of the problems we can tackle today, while also accelerating our ability to solve future challenges.To fulfill these missions, we are constructing a novel technological framework inspired by human reasoning, and fostering a collaborative organization that prioritizes human values.About the RoleAs a Research Scientist, you will spearhead Basis's initiatives to deepen our comprehension of the theoretical, mathematical, and computational aspects of intelligence.We seek individuals with exceptional technical skills who are passionate about exploring concepts at their core. Our research scientists and engineers are committed to conducting rigorous, high-quality, and robust scientific inquiry, yet they embrace experimentation, learning from mistakes, and exploring innovative ideas to achieve their goals.Basis thrives on collaboration, both internally and with external partners; thus, we value team players who relish tackling challenges that surpass individual capabilities.Research FocusOur research under the MARA project is dedicated to forging new principles and technologies for modeling, abstraction, and reasoning in AI systems. The primary aim of MARA is to reveal principled methodologies for how intelligence constructs, refines, and applies world models through interactive experimentation.For this position, we specifically seek experts in Reinforcement Learning & Planning who can push the boundaries of model-based RL, exploration strategies, optimal control, and Bayesian optimization. You will develop agents capable of learning efficient policies in intricate, partially observable environments by utilizing structured world models.

About BasisBasis is a pioneering nonprofit organization specializing in applied AI research, dedicated to two interrelated goals.The primary objective is to comprehend and develop intelligence. This entails establishing the mathematical foundations of reasoning, learning, decision-making, understanding, and explanation; as well as creating software that embodies these principles.The secondary goal is to enhance society's capacity to tackle complex challenges. This involves broadening the scale and complexity of the problems we can address today and, more importantly, accelerating our future problem-solving capabilities.To realize these ambitions, we are constructing a new technological base inspired by human reasoning and fostering a collaborative organization that prioritizes human values.About the RoleAs a Research Engineer in Operations at Basis, you will be instrumental in developing internal tools, automation, and measurement systems that significantly enhance researcher productivity and operational efficiency. Your work will involve creating tools that eliminate hours of manual tasks, automating proposal and CRM workflows, and offering analytics to guide strategic decisions as Basis expands.We seek individuals who are technically adept and possess a deep understanding of research workflows, enabling them to pinpoint high-impact automation opportunities. An ideal candidate has experience in converting research concepts into reliable code, building automation systems powered by LLMs, and designing user-friendly tools for researchers. Your contributions will range from researcher productivity enhancements to GTM automation and analytics infrastructure.This position is vital to Basis's growth strategy, transforming operations from manual to automated processes that facilitate scalable growth with sustainable results.We are looking for innovative thinkers who are technically accomplished and eager to explore foundational concepts. Our research engineers strive to develop high-quality, robust tools, unafraid to experiment, learn from mistakes, and explore unconventional ideas to achieve their goals.Basis thrives on collaboration, both internally and with our partners; we seek individuals who are passionate about empowering others to achieve milestones they couldn't accomplish alone.

Category Labs (previously Monad Labs) is a dynamic team of systems engineers and researchers dedicated to pioneering decentralized technology. Our mission is to create transformative solutions that significantly improve current blockchain technologies. Following a successful $225 million Series A funding round led by Paradigm, we are eager to expand our talented team.The RoleWe are in search of a highly skilled compiler engineer to engage in innovative greenfield projects aimed at enhancing bytecode execution. Your responsibilities will include developing a bytecode execution graph builder that facilitates speculative pre-execution of potential control flows. This role demands extensive research and engineering expertise, with the potential to secure billions of dollars within our platform. Experience in cryptocurrency is not a prerequisite.Your ResponsibilitiesEngage in performance-driven greenfield projects within a fast-paced startup atmosphere.Conduct research to explore methods for accelerating EVM bytecode execution.Design and implement high-performance production systems.Why Join Us?Stimulating Challenges. Tackle complex problems with significant impacts on the future of technology.Immense Potential. The Ethereum Virtual Machine (EVM) standard is widely used, yet existing EVM-compatible chains struggle with speed. Our innovations provide developers with the perfect blend of portability and performance, paving the way for widespread cryptocurrency adoption.The Right Team. Join a small, exceptional group where engineers and researchers constitute 90% of our workforce.Collaborative Culture. We are a compact team with ambitious goals, unified by a culture of teamwork, humility, and high-quality output. As an early member, your contributions will help shape our culture.Competitive Compensation. Enjoy a competitive salary along with an equity package.Growth Opportunities. We are well-funded, supported by leading venture capitalists like Paradigm, Electric Capital, Greenoaks, Dragonfly, and Coinbase Ventures. This is a rare chance to join a lean team where you will learn and grow as we scale.

Remote - US.At EngFlow, we empower developers to streamline their software builds and testing processes. Our innovative cloud-based, distributed service optimizes developer workflows through remote execution and caching, significantly enhancing efficiency, productivity, and overall product quality.Supported by leading investors, EngFlow is transforming the way organizations build software and deliver thoroughly tested products. Our solutions can accelerate builds by a factor of 10 or more, while our observability platform offers actionable insights for optimization. Founded by prominent contributors to Bazel, we create tools that enable engineering teams—from startups to Fortune 500 companies—to boost developer velocity and enhance build performance.Discover more about our mission, culture, and team: EngFlow | VideoAs a Software Engineer specializing in build systems, compilers, and languages, you will collaborate with engineers who have developed Bazel and contribute to key open-source projects such as gRPC, Goma, Soong, and CMake. You will face intricate challenges related to real-time performance, scalability, and build systems, while experimenting with cutting-edge technologies to enhance the EngFlow platform.You will have the chance to develop core features of our platform, which powers the builds for leading companies like Brave Software, Blue River Technology, and Snap.Key Responsibilities:Build Systems Expertise: Focus on essential features related to build systems and compilers, emphasizing scalability and real-time performance.Open-Source Contribution: Enhance and contribute to open-source projects such as Bazel and gRPC.Platform Development: Address complex challenges and develop scalable systems that boost developer productivity for global tech companies.Collaboration: Partner with core engineers who created Bazel and experiment with advanced technologies to enhance our platform.Operational Excellence: Uphold high standards for software delivery at scale and ensure operational excellence.

About Five RingsFive Rings LLC is a cutting-edge proprietary trading firm dedicated to merging strategy, innovation, and technology to thrive in the dynamic global markets. With a footprint spanning New York, Boca Raton, London, and Amsterdam, we engage in a broad spectrum of domestic and international trading, exploring both traditional and niche markets. Our team is relentless in identifying new opportunities, meticulously analyzing their risks and rewards, and developing strategies and tools to seize them.We foster an open culture that promotes the free exchange of knowledge and ideas across all facets of the firm.About the Internship ProgramFive Rings offers a rigorous 9-week summer internship program from early June to early August. This program immerses interns in hands-on projects, classroom instruction, and proprietary strategy games. Interns will collaborate closely with the research team on various development projects, paired with a dedicated mentor throughout the duration of the internship.Participate in enlightening talks that introduce you to essential trading concepts, along with engaging activities such as strategic game nights, outings in New York City, dinners, and more.Your ProfilePursuing a PhD in computer science, mathematics, physics, statistics, economics, or a related field.Demonstrated excellence in mathematics and quantitative analysis.A strong desire to tackle complex mathematical challenges.A passion for problem-solving, a cornerstone of this role.Proactive in acting upon ideas as they arise.A solid record of achievement within your area of expertise.A collaborative spirit, yet comfortable with independent exploration of ideas.Basic programming experience acquired through internships or academic projects.Detail-oriented and meticulous in your work.Eager to learn and grow.

NBC News offers Communications, Marketing, and Research internships during the academic year in New York. These internships give students practical experience inside a major media company. Interns collaborate with professionals across the news division and play a part in projects that advance NBC News’ objectives. What you will do Help develop and implement communication strategies across NBC News platforms Support ongoing marketing campaigns and special initiatives Participate in research projects that guide editorial and business decisions Who should apply This internship suits students interested in media, communications, or marketing. The program focuses on building real-world skills and understanding how a national news organization operates.

Jump Trading Group is at the forefront of world-class research, empowering talented individuals in Mathematics, Physics, and Computer Science to explore scientific boundaries and apply innovative research to the global financial markets. Our unique culture thrives on constant innovation, which requires creativity, intellectual honesty, and a relentless competitive spirit. We believe in collaborative success, unlocking individual talents through mutual respect and teamwork. At Jump, our research not only drives superior risk-adjusted returns but also leads to the development of transformative technologies that impact the world, funding startups across various industries, and partnering with premier research organizations and universities to tackle complex challenges.Our AI team serves as a pivotal research and development hub, consisting of quantitative researchers, engineers, and machine learning experts dedicated to advancing large language model (LLM) research and its applications. Our mission is to merge cutting-edge techniques with original research to derive actionable insights from unstructured data.

sdms is looking for a Tooling Engineer Intern to join the team at its Tonawanda, New York facility. This internship offers practical experience in manufacturing, with a focus on tooling solutions that support production efficiency and safety. The intern will work alongside plant operations, contribute to cost-saving projects, and help address technical challenges on the shop floor. What you will do Serve as the main contact for resolving tooling-related manufacturing issues. Collaborate with plant operations to address safety, quality, throughput, and cost concerns tied to tooling. Develop and implement cost-saving initiatives to optimize tooling and manufacturing expenses. Track weekly tooling expenses and compare them to budgeted piece costs. Conduct tooling trials, document outcomes, and ensure compliance with customer testing requirements. Update and maintain tooling drawings and related documentation. Design new systems for tooling reconditioning and reuse when feasible and cost-effective. Join regular team and operations meetings to support problem-solving. Troubleshoot machining and tooling issues that affect costs, scrap rates, and production efficiency. Support cross-functional teams in achieving operational targets. Recommend improvements to machining processes and cutting parameters. Introduce new technology and improved tooling designs. Develop strategies to achieve year-over-year reductions in cost per piece. Coordinate with the preset team to ensure effective tooling setup. Use PFEP and Top Spend Data to drive savings projects. Complete documentation for cost savings and tooling tests. Document and report non-conformances, corrective actions, and ongoing improvement efforts. Maintain safety and housekeeping standards throughout the site. Make decisions within established guidelines and procedures. Report near misses and incidents to management and assist with investigations. Perform other duties as assigned. Requirements Bachelor's degree in Mechanical Engineering or a related field. Previous experience in a manufacturing and design environment. Strong analytical and mathematical skills.

About AgentioAgentio is revolutionizing the way marketers engage with creator-led advertising. Our cutting-edge platform simplifies the purchasing process for creator ads, making it as efficient and scalable as Meta or Google ads. By leveraging AI, we automate crucial tasks such as sourcing, pricing, contracting, delivery, and measurement, reducing what used to take months into mere minutes.With a bold mission to reshape an $800 billion digital advertising ecosystem, we are shifting the ad spend into the hands of creators, ensuring marketers achieve better outcomes while allowing creators to earn a fair wage reflective of their contributions. Industry giants like Unilever are already embracing this change, with plans to allocate approximately half of their ad budget to digital and creator partnerships—amounting to around $9–10 billion annually. Agentio is the conduit for these funds, providing the performance-grade infrastructure marketers demand.Having secured $56 million in funding and achieving a $340 million valuation, Agentio's recent Series B investment led by Forerunner follows our rapid growth trajectory. Our investors include notable firms like Benchmark, Craft, and AlleyCorp. Recognized as one of Forbes' Next Billion Dollar Startups, 2025, our platform is already trusted by top marketers and creators worldwide. The journey has just begun! The OpportunityWe are seeking a driven and enthusiastic intern for our Creator Partnerships team. This internship offers an invaluable opportunity for students eager to delve into business development and creator partnerships at an innovative, high-growth tech startup. You'll collaborate across departments, working closely with leadership in sales, creator strategy, and product to enhance both sides of our dynamic marketplace.In this role, you will:Cultivate and maintain relationships with top-performing YouTube creators and their talent managers/agencies.Gain hands-on experience collaborating with our go-to-market team, utilizing AI-driven tools and workflows.Learn essential skills in pitching to creators, effectively communicating with managers, and establishing a robust professional network.

About BasisBasis is a pioneering nonprofit organization dedicated to applied AI research, pursuing two interconnected goals.Our primary objective is to understand and create intelligence. This involves formulating the mathematical foundations of reasoning, learning, decision-making, understanding, and explanation, while developing software that embodies these concepts.The second goal is to enhance society’s capacity to solve complex challenges. We aim to broaden the scope, intricacy, and variety of challenges we can address today, and crucially, to expedite our ability to tackle future problems.To realize these objectives, we are constructing an innovative technological base inspired by human reasoning, and fostering a collaborative organizational culture that prioritizes human values.About the RoleAs a Research Scientist on the MARA (Modeling, Abstraction, and Reasoning Agents) initiative, you will be instrumental in developing computational theories of scientific reasoning in the realms of robotics and embodied intelligence. Your work will push the boundaries of world modeling, reinforcement learning, program synthesis, and robotic control, enabling systems to learn, reason about, and engage with the physical world.We are seeking outstanding researchers with a strong background in Program Synthesis & Neuro-symbolic Methods. The ideal applicant will have a robust publication record in esteemed venues, blending theoretical expertise with practical implementation skills, and a passion for building systems that emulate scientific learning—hypothesizing, experimenting, and modeling the workings of the world.In this role, you will collaborate with an interdisciplinary team to address fundamental inquiries: How can agents learn causal models through interaction? How do we connect high-level reasoning with low-level control? How can we produce interpretable, verifiable control programs instead of opaque policies?At Basis, we value collaboration, both within our team and with external partners; we seek individuals who thrive in teamwork on significant challenges that require collective effort.

Man Group plc is a global alternative investment manager with $227.6 billion in assets under management as of December 31, 2025. The company operates in both public and private markets, emphasizing alternative investments and research-driven strategies. Headquartered in London and listed on the London Stock Exchange (EMG.LN), Man Group is part of the FTSE 250 Index, with offices in multiple regions worldwide. More information can be found at www.man.com. Team Overview The High-Frequency Quantitative Research team, based in New York, is part of Man Global Markets. This group manages execution across all Man Group investment engines, asset classes, and regions. The team specializes in researching and building low-latency trading strategies and proprietary execution algorithms. Members are involved in every stage of trading strategy development, using custom machine learning research and monetization tools. Internship Focus This summer 2026 internship centers on quantitative research within high-frequency trading. Interns will contribute to projects involving advanced trading strategies and the development of execution algorithms. The role provides exposure to the full lifecycle of strategy development, from research to implementation. Who Should Apply? This internship suits individuals interested in quantitative finance who want to work on advanced trading strategies. Curiosity, motivation, and an interest in innovative projects are valued qualities for this team.

About the FellowshipPostdoctoral Fellowships at Basis provide a unique opportunity for distinguished researchers to advance their expertise in the field of computational intelligence. This encompasses areas such as reasoning, learning, and decision-making. Fellows will collaborate closely with Basis Research Scientists and esteemed Principal Investigators (PIs) from leading academic institutions.About BasisBasis is a nonprofit organization dedicated to applied AI research, driven by two interdependent goals.Our primary aim is to understand and develop intelligence. This involves establishing the mathematical foundations of reasoning, learning, decision-making, comprehension, and explanation; and creating software that embodies these principles.Secondly, we strive to enhance society's capability to tackle complex problems. This entails broadening the scope and complexity of challenges we can address today and, crucially, expediting our future problem-solving abilities.To fulfill these objectives, we are constructing a new technological framework inspired by human reasoning and fostering an innovative collaborative organization that prioritizes human values.How it WorksPostdoctoral Fellows at Basis are jointly mentored and funded by Basis and partner PIs from academic institutions. Fellows will divide their time between Basis and their academic PI's lab, functioning as part of a jointly advised postdoctoral program.Our established partner PIs include: Nada Amin (Harvard), Kevin Ellis (Cornell), Armando Solar-Lezama (MIT), Youssef Marzouk (MIT), and Tom Silver (Princeton).Each Fellow is paired with a mentor from Basis, chosen to align with their research interests and aspirations.Potential Basis mentors possess a wealth of expertise in various fields, ensuring a tailored and enriching mentorship experience.

About BasisBasis is a pioneering nonprofit organization specializing in applied AI research, dedicated to achieving two synergistic objectives.The first objective is to comprehend and develop intelligence. This encompasses establishing the mathematical foundations of reasoning, learning, decision-making, understanding, and explanation; subsequently, we construct software that embodies these principles.The second objective is to enhance society's capacity to tackle complex issues. This involves broadening the scope, intricacy, and variety of challenges we can address today, while also accelerating our future problem-solving capabilities.To fulfill these ambitious goals, we are creating a robust technological foundation inspired by human reasoning, alongside a collaborative organization that prioritizes human values.About the RoleWe are in search of a Technical Program Manager who possesses a deep passion for program management and is eager to propel ambitious research initiatives. In this role, you will be the crucial link connecting our researchers, engineering teams, leadership, and external partners, requiring both technical acumen and project management skills.