Research Internship in Agentic Learning, Memory & Neurosymbolic Reasoning

About Axiomatic AI Axiomatic AI develops AI systems that combine deep learning, formal logic, and physics-based modeling. The goal: create AI that is verifiable, interpretable, and genuinely useful for scientific and engineering work. The company’s 30×30 mission targets a 30-fold improvement in the speed, accessibility, and cost of semiconductor and photonic…

About Axiomatic AI Axiomatic AI builds AI systems that bring the rigor of the scientific method to reasoning. By combining deep learning, formal logic, and physics-based modeling, the team develops interpretable and verifiable AI tools designed to support human researchers in scientific and engineering tasks. The company's 30×30 mission targets a 30-fold increase in the speed, affordability, and accessibility of semiconductor and photonic hardware development by 2030. This vision drives efforts to reshape hardware design and simulation, moving research breakthroughs toward real-world products. Research Internship Overview This Research Internship centers on the intersection of AI, formal methods, and scientific reasoning. The role suits PhD candidates interested in advancing AI for science and engineering, especially those who want to build tools that verify scientific results. Interns will focus on research into automated verification of scientific reasoning. Projects may include developing AI agents for complex mathematical formalization, designing knowledge retrieval systems, and exploring both formal and informal verification workflows. What You Will Do Develop tools for formal reasoning, such as improved library search, theorem retrieval, and formalization assistants. Explore Lean metaprogramming or related formal methods tools for scientific applications. Create verification pipelines for complex equation derivations, connecting AI and physics. Work with researchers to define a focused project that advances internal capabilities and research understanding. Conduct scientific research suitable for publication at leading conferences (ICLR, ICML, NeurIPS) or contribute to major open source initiatives. Locations Boston, US / Toronto, Canada / Castelldefels (Barcelona), Spain

About Axiomatic AI Axiomatic AI develops AI systems that combine deep learning, formal logic, and physics-based modeling. The goal: create verifiable, interpretable AI that supports human researchers in scientific and engineering fields. The company’s 30×30 mission targets a 30-fold increase in the speed, accessibility, and affordability of semiconductor and photonic hardware development by 2030. With teams in Boston, Toronto, and Castelldefels (Barcelona), Axiomatic AI is working to transform hardware design and simulation, moving ideas from research to commercial products. Research Internship Overview This internship centers on formal methods, artificial intelligence, and scientific reasoning. It’s especially suited for PhD candidates interested in advancing AI’s role in science and engineering, and in building tools to validate scientific results. The work focuses on automated verification of scientific reasoning, contributing to the design of AI agents that handle complex mathematical formalization, knowledge retrieval, and both formal and informal verification methods. What You Will Do Develop tools for formal reasoning, such as improved library search, theorem retrieval, and formalization assistants. Explore Lean metaprogramming or similar formal methods tools for research applications. Design verification pipelines for complex equation derivations, helping connect AI systems with physics. Work closely with researchers to define a focused project that advances Axiomatic AI’s capabilities and contributes to scientific understanding. Carry out research with the potential for publication at venues like ICLR, ICML, or NeurIPS, or contribute to major open-source projects. Locations Boston, US Toronto, Canada Castelldefels (Barcelona), Spain

At IonQ, we are pioneering the development of the world's most advanced full-stack quantum computer utilizing trapped-ion technology. Our mission is to transcend the limitations of classical physics and current supercomputing capabilities, ushering in a transformative era of computing. The potential of quantum computing to enhance every aspect of human life is immense, and IonQ's innovations are set to revolutionize fields including medicine, materials science, finance, artificial intelligence, machine learning, cryptography, and beyond. Join us at the forefront of this technological evolution.We are seeking a Senior Research Scientist specializing in quantum memory development. In this pivotal role, you will spearhead a cross-functional team dedicated to advancing IonQ's mission to construct the preeminent quantum computers capable of tackling the world's most intricate challenges.Your work will involve groundbreaking research in quantum memories tailored for extensive quantum networks and modular quantum computing architectures. Collaborating with a prestigious team of scientists and engineers, you will develop systems designed for rapid processing and storage of quantum information derived from photons, ultimately leading to the creation of scalable quantum computing solutions. Your contributions will range from innovative system design to operationalizing and expanding quantum memory systems that will serve as the foundation for the largest quantum computers globally.

Axiomatic AI is seeking interns for a software engineering program centered on AI and agentic systems. This internship gives participants a chance to work on projects aimed at solving real-world challenges, guided by experienced professionals in the field. Role overview Interns will join teams focused on the design, development, and implementation of AI-driven solutions. The work involves hands-on experience with agentic systems and exposure to current technologies in artificial intelligence. What you will do Contribute to the creation and deployment of AI-based solutions Work closely with team members and industry experts to address technical problems Build practical skills in agentic systems and related tools Locations Boston, US Castelldefels (Barcelona), Spain

About Axiomatic AI Axiomatic AI builds AI systems grounded in the scientific method. By combining deep learning, formal logic, and physics-based modeling, the team creates verifiable and interpretable tools that support researchers in scientific and engineering fields. The company’s 30×30 mission targets a 30-fold improvement in the speed, accessibility, and affordability of semiconductor and photonic hardware development by 2030. With a focus on transforming hardware design and simulation, Axiomatic AI brings together professionals who move research from the lab into real-world solutions. Research Internship: Uncertainty Quantification & Robust Design Locations: Boston, US / Toronto, Canada / Castelldefels (Barcelona), Spain Role Overview This internship centers on exploratory research in uncertainty quantification (UQ), experimental design, robust design strategies, and surrogate modeling. The specific project will reflect the intern’s background and strengths, always with the goal of advancing the methods that underpin scientific and engineering work. Candidates with a strong technical grounding in probabilistic machine learning, Bayesian computation, and applied mathematical modeling will find this role especially relevant. Depending on interests and expertise, there may also be a chance to work in specialized topics such as neuromorphic computing in photonics. Key Responsibilities Advance and extend uncertainty quantification methods through research Contribute to developing experimental and robust design techniques for scientific and engineering applications Develop or evaluate surrogate modeling strategies for complex systems Work with researchers to shape focused projects that deliver clear research and learning outcomes

Mission Overview:The Behavior Understanding and Evaluation team at Motional is at the forefront of determining how to effectively measure and validate autonomous vehicle behavior on a large scale. As we prepare for the deployment of driverless vehicles, traditional manual reviews and static metric thresholds are becoming insufficient. Our goal is to develop automated and statistically robust systems utilizing advanced machine learning techniques to assess and understand our vehicles' performance in both real-world scenarios and simulated environments.One of the key challenges we face is accurately determining whether a simulation has 'Passed' or 'Failed', given the complex, multi-modal nature of human driving. This role is research-oriented and aims to assist in the creation of a Next-Generation Semantic Validator: a production-ready machine learning evaluation system that learns the distribution of valid human driving behavior, establishing a 'Safety Ruler' for the release of autonomous vehicles.This internship is based in our Boston office and requires in-office attendance weekly.

Join Cellular Intelligence as a Senior/Principal Machine Learning Researcher!At Cellular Intelligence, formerly known as Somite AI, we strive to revolutionize stem cell biology by creating AI foundational models that facilitate the development of innovative cell therapies on a large scale.Our comprehensive approach allows us to generate data at a cost efficiency of 1,000 times lower than traditional methods, while training large-scale models that possess unparalleled predictive capabilities. These models are pivotal in discovering, refining, and optimizing impactful applications in cell therapy.Our founding team boasts a wealth of experience, including AI entrepreneur Dr. Micha Breakstone, who successfully led Chorus.ai to a $575M acquisition, the Head of MIT's Fundamental AI Group, and a cadre of professors from Harvard Medical School and the University of Washington, comprising members of the National Academy of Sciences and Medicine. Based in Boston, we are excited to commence operations in January 2024 and have secured nearly $60 million in funding to date.

IonQ is pioneering advancements in quantum computing by designing the world's most powerful full-stack quantum computer utilizing trapped-ion technology. We are breaking through the boundaries of classical physics and current supercomputing capabilities to usher in a revolutionary era of computing. Quantum computing has the potential to transform various facets of human life for the better, with IonQ's systems poised to redefine sectors such as healthcare, materials science, finance, artificial intelligence, machine learning, cryptography, and beyond. Join us at IonQ as we lead the charge in this technological revolution.We are in search of a Senior Solutions Architect to join our Quantum Memories team. In this pivotal role, you will collaborate with a multidisciplinary team dedicated to steering IonQ towards crafting the most exceptional quantum computers capable of addressing the world's most intricate challenges.The Quantum Memories team seeks to enhance our technical sales and strategic functions, developing and supporting go-to-market initiatives for our advanced technologies and assisting in the formulation of our internal technical roadmap. This role is an exciting opportunity for adept technical communicators who thrive in engaging discussions with leading scientists, public sector authorities, and enterprise executives about the groundbreaking advancements in quantum technology.

We invite enthusiastic students to join our immersive internship programs in Florence, Italy, while earning academic credits through the renowned Florence University of the Arts. This unique opportunity allows you to engage in a professional internship aligned with your major or minor at one of our esteemed Community Engagement Member Institutions (CEMI). You will receive dedicated support from an internship supervisor to facilitate exceptional experiential learning and growth.Internships are available in a variety of fields, including:Business and FinanceArchitecture and HistoryCommunication and PublishingCulinary Arts and Wine ExpertiseFashion and Accessories Studies and TechnologyFine Arts and DesignHospitality Operations and ManagementInterior Design and Industrial DesignPerforming ArtsPhysical Education and Sport TrainingVisual Communication

About SimpliSafe SimpliSafe stands at the forefront of innovation in the home security sector, committed to ensuring that every household feels secure. Our mission is to deliver accessible and comprehensive security solutions through user-centric designs that empower individuals and families to protect their most valued assets. We foster a collaborative and dynamic work environment where continuous learning and professional growth are paramount. Our teams consist of passionate and talented individuals dedicated to technology, security, and providing outstanding customer experiences. Embracing a hybrid work model, we encourage our teams to balance their time between office collaboration and remote work. Typically, our teams gather in our state-of-the-art office on core days—usually Tuesday, Wednesday, or Thursday—allowing for personal workspace flexibility while maximizing in-person collaboration. Why Join Us? As we expand and excel, we are on the lookout for intelligent, talented, and humble individuals who align with our values, eager to innovate in the home security landscape and relentlessly pursue our mission of securing Every Home. About the Role We are in search of a driven and highly skilled Computer Vision Applied Research Engineer to become a pivotal member of our expanding Edge AI team. In this influential role, you will spearhead the development of on-device machine learning solutions for outdoor monitoring in the home security domain. Your expertise will involve building and optimizing computer vision models that operate in real-time on resource-constrained embedded devices such as outdoor and doorbell cameras, striking the right balance between accuracy, latency, memory usage, power efficiency, and reliability under challenging conditions (including low light, adverse weather, and motion blur). Key Responsibilities: Lead the comprehensive development of edge ML models for outdoor monitoring applications (e.g., detecting and classifying persons, vehicles, and packages; tracking; segmentation; and event understanding). Design, train, and deploy transformer-based vision models (e.g., compact ViTs, hierarchical transformers, DETR-style detectors) and hybrid CNN-transformer architectures optimized for embedded inference. Enhance model efficiency through resource-aware design and training approaches, including: Architecture: Token/patch reduction, efficient attention variants, early-exit/conditional compute. Training: Distillation from large transformer models to edge implementations. Compression: Techniques such as Quantization (PTQ/QAT), pruning, mixed precision, and operator-aware optimization. Collaborate closely with cross-functional teams to integrate models into our products and ensure they meet quality and performance standards.

FieldAI is revolutionizing the way robots engage with the physical world. Our innovative research and development team, situated in Boston, is dedicated to creating risk-aware, dependable, and field-ready AI systems that confront the most challenging issues in robotics, thereby harnessing the full potential of embodied intelligence. We adopt a practical methodology that transcends conventional, purely data-driven strategies or transformer-based frameworks, seamlessly integrating pioneering research with tangible deployment. Our solutions are actively utilized across the globe, and we are committed to consistently enhancing model performance through swift iterations driven by real-world applications.This Summer 2026 internship opportunity is tailored for PhD students keen on advancing humanoid manipulation and embodied intelligence in genuine robotic systems. As a research intern, you will operate at the convergence of robotics research and applied engineering, contributing to the development of manipulation systems for humanoid robots that underpin FieldAI’s initiatives in autonomy and robot learning.You will engage closely with FieldAI's research scientists and engineers to design experiments, develop manipulation systems, and test innovative ideas on actual hardware. This internship prioritizes the conversion of research into practical, scalable systems while also contributing to long-term projects focused on embodiment-agnostic robotics foundation models.

At WHOOP, we are dedicated to enhancing human performance and extending healthspan. Our mission is to empower individuals to achieve peak performance by providing them with a deeper understanding of their bodies, behaviors, and daily habits.We are currently seeking a Senior Research Manager for Design Research to spearhead and expand vital research initiatives within WHOOP Labs. In this pivotal role, you will oversee Design Research, guiding how early-stage insights can drive product innovation. As a leader who prioritizes people, you will harmonize strategic vision with team development and active participation, ensuring that research delivers both rigor and impactful results throughout the hardware development lifecycle.

Join Harvard University’s Division of Research and Faculty Development as a Research Associate. This entry-level position offers an exciting opportunity to contribute to groundbreaking research and development initiatives. As a Research Associate, you will collaborate with esteemed faculty and researchers, gaining valuable insights and experience in a dynamic academic environment.

Join Harvard University as a Research Assistant I, where you will play a crucial role in supporting groundbreaking research initiatives. This entry-level position is perfect for individuals eager to gain hands-on experience in a dynamic academic environment. Collaborate with esteemed faculty and contribute to innovative projects that advance knowledge in various fields.

Harvard University is seeking a motivated and detail-oriented Research Associate with a strong focus on writing to join our esteemed Division of Research and Faculty Development. In this role, you will support various research projects by conducting literature reviews, synthesizing information, and producing high-quality written reports and materials. This position is ideal for someone passionate about research and writing, eager to contribute to impactful academic work.

Join Harvard University as a Research Assistant I in the Department of Neurobiology, located in the vibrant city of Boston. This full-time position offers an exciting opportunity to support groundbreaking research in neurobiology. As a Research Assistant, you will assist in various research projects, contributing to scientific knowledge and advancements in the field. You will engage in hands-on laboratory work, data collection, and analysis.

Harvard University invites applications for the position of Research Assistant III in our laboratory. This role is critical in supporting advanced research initiatives and offers a unique opportunity to work alongside leading scientists in a dynamic and collaborative environment. The successful candidate will engage in a variety of laboratory tasks, including but not limited to data collection, analysis, and contributing to the preparation of reports and publications.

COMPANY DESCRIPTION Abiologics, Inc. is an innovative biotechnology firm dedicated to enhancing biological processes through cutting-edge therapeutic modalities. We are at the forefront of developing Synteins™, a revolutionary class of macromolecular therapies made possible by advanced synthetic and computational technologies. Abiologics is on the lookout for outstanding scientists eager to contribute to transformative innovation in the biotech sector. Founded within Flagship Pioneering’s venture creation framework, Abiologics is part of a lineage that includes prominent firms like Moderna Therapeutics and Generate Biomedicines. Flagship has nurtured over 100 scientific ventures since its inception in 2000, leading to the issuance of over 500 patents and the initiation of more than 50 clinical trials for novel therapeutic agents. THE ROLE This contract role provides a unique opportunity to be part of the creation of groundbreaking medicinal therapies. The selected candidate will collaborate with a talented team of scientists to synthesize and analyze complex peptides for therapeutic uses. A robust understanding of organic chemistry and problem-solving abilities are essential for developing innovative chemistries and contributing to the creation of Synteins™. KEY RESPONSIBILITIES Utilize solid-phase peptide synthesis, conjugation chemistries, and automation technologies to create new macromolecules. Employ modern instrumentation for the purification and analysis of macromolecules. Independently troubleshoot complex technical and experimental challenges. Assess macromolecular properties through diverse spectroscopic techniques. Accurately document and analyze data with minimal oversight. Prepare and maintain laboratory reagents and instruments. Regularly report on work progress in both oral and written formats. Engage in continuous learning to keep abreast of advancements in peptide chemistry and related fields.

At WHOOP, we are dedicated to unlocking human potential by empowering our members with insightful performance optimization tools. WHOOP Labs serves as our core research hub, facilitating both in-person and remote studies across product development, research & development, and clinical initiatives. We are seeking a highly motivated Distributed and Quantitative Research Specialist to join our dynamic WHOOP Labs team. In this pivotal role, you will contribute significantly to the increasing demand for surveys, intervention studies, and innovative remote research initiatives through our Digital WHOOP Labs (DWL). Your work will bridge the gap between research execution and operations, emphasizing the delivery of high-quality and scalable studies for our diverse stakeholders. Reporting to a Senior Human Factors Manager, this position is ideal for individuals who thrive in hands-on research execution, excel in stakeholder collaboration, and are passionate about establishing rigor in large-scale distributed studies.