Research Internship in Agentic Learning, Memory & Neurosymbolic Reasoning

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-driv…

FieldAI is at the forefront of revolutionizing the interaction between robots and the real world. Based in Boston, our dynamic R&D team is dedicated to developing AI systems that are risk-aware, reliable, and ready for field deployment. Our solutions address some of the most challenging problems in robotics, unlocking the full potential of embodied intelligence. We pride ourselves on a pragmatic approach that combines cutting-edge research with practical deployment, moving beyond standard data-driven methods and transformer-only architectures. Our systems are already deployed worldwide, and we are committed to continuous improvement through rapid iterations based on real-world applications.We are looking for enthusiastic engineers to join our team and contribute to the advancement of our humanoid robot software stack. In a fast-paced environment, you will collaborate with a focused team to integrate various subsystems such as perception, planning, locomotion, and manipulation into a seamless, reliable system that operates effectively in unstructured real-world environments. A key responsibility will be to transition research-grade capabilities into robust, production-quality systems. The ideal candidate will possess a solid understanding of robotic software systems and demonstrate the practical skills necessary for delivering high-quality, maintainable code within a small, dedicated team.

Join Code Metal, where we are at the forefront of developing innovative AI-powered transpilation tools that seamlessly connect algorithm development with deployment for embedded systems. As a Senior Software Engineer specializing in Agentic AI, you will be instrumental in designing and executing sophisticated code generation pipelines that incorporate Generative AI, Static Analysis, and Formal Verification methodologies. This role provides a unique opportunity to influence the evolution of automated, AI-driven software translation for critical applications.Architect and implement intricate workflows utilizing state machines, message queues, and distributed processing.Leverage Docker and related technologies to maintain dependable and reproducible environments.Develop robust, modular codebases for code translation products that are thoroughly tested.Collaborate with domain experts to integrate verification techniques into AI-enabled code generation processes.Guarantee high availability and scalability of AI services through cloud platforms and distributed system architectures.

Axiomatic AI offers a Software Engineering Internship focused on Platform and DevOps. This position is available in Boston, US or Castelldefels (Barcelona), Spain. Role overview Interns will join experienced engineers to support platform reliability and efficiency. The work centers on refining development workflows and deployment processes. Projects often involve applying artificial intelligence to practical challenges. What you will do Collaborate with engineers to enhance platform performance Assist in improving development and deployment pipelines Contribute to initiatives that use AI in real-world applications Internship experience Direct involvement with current platform and DevOps methods Insight into active AI projects Work closely with a knowledgeable engineering team

Location: Boston, MA; Costa Mesa, CA; Seattle, WA About Anduril Industries Anduril Industries builds advanced defense technology for the U.S. and allied nations. The company’s systems run on Lattice OS, a platform that fuses thousands of data streams into a real-time, 3D command and control environment. Anduril focuses on delivering autonomy, AI, computer vision, sensor fusion, and networking solutions to military operations quickly, often in months rather than years. Team Overview: Developer Platform The Developer Platform team provides the backbone for software development at Anduril. This group manages the main developer CLI, which sees over 93,000 uses by more than 2,300 engineers. CI/CD pipelines support 3,500+ engineers across 23 product lines in the U.S., Australia, and the U.K. The team also handles deployment and release management systems, as well as the company’s LLM adoption platform. Now, the team is launching a new agentic development initiative to build next-generation AI-centric developer infrastructure. What You Will Do Build infrastructure for multi-agent orchestration, enabling AI coding agents to operate autonomously on servers and manage tasks across repositories at scale. Develop a real-time, agent-optimized knowledge base that gives AI agents detailed context about codebases, architecture, and operational patterns. Create a skills and plugin platform so teams can encode domain expertise into reusable AI features. Improve CI/CD reliability and the developer experience across 23 product lines. Design and refine release tools to simplify software deployment to production and robotic platforms. Oversee and enhance Anduril’s LLM adoption platform, including model rollouts, capacity planning, cost tracking, and developer onboarding.

Veeva Systems is seeking a Senior Software Engineer to focus on AI Applications in Boston, Massachusetts. This position centers on building software for the life sciences sector, with a strong emphasis on artificial intelligence. Role overview This role involves designing, developing, and implementing AI-driven features that support Veeva’s cloud-based products. Collaboration with teams across engineering, product, and other functions is a key part of the work, ensuring that AI technologies are integrated effectively to support client needs. What you will do Create and improve AI solutions that expand Veeva’s product capabilities Work closely with colleagues from different disciplines to deliver new features Apply software engineering best practices in the context of AI applications Requirements Experience in software engineering and artificial intelligence Ability to collaborate with cross-functional teams Interest in developing solutions for the life sciences industry

FieldAI is revolutionizing the interaction between robots and the physical world. Our expanding Research and Development team, located in Boston, is dedicated to creating risk-aware, reliable AI systems that address complex challenges in robotics and harness the full potential of embodied intelligence. We adopt a practical approach that transcends conventional data-driven methods or transformer-only architectures, merging pioneering research with real-world applications. Our solutions are already in use worldwide, and we enhance model performance through rapid iterations informed by actual field experiences.We are looking for enthusiastic engineers to contribute significantly to the advancement of multi-robot simulation and fleet orchestration. In this dynamic environment, you will collaborate with a dedicated team to develop simulation environments where robots can operate, coordinate, and adapt within realistic scenarios. This initiative will enable us to design and validate fleet orchestration strategies at scale prior to deployment. The ideal candidate will possess a robust understanding of robotics simulation and multiagent principles, coupled with the practical skills necessary to produce high-quality, maintainable code within a small, focused team.

About Us: Axiomatic AI is pioneering a new generation of AI systems that embody the principles of the scientific method. By merging deep learning with formal logic and physics-based modeling, we are creating verifiable and interpretable AI systems that enhance and support human researchers in critical scientific and engineering tasks. Our ambitious mission, 30×30, aims to achieve a 30-fold improvement in the speed, accessibility, and cost-effectiveness of semiconductor and photonic hardware development by the year 2030. We are set to transform hardware design and simulation across these sectors, assembling a team of passionate professionals dedicated to translating innovative research into commercial products. Position Overview: As a Research Software Engineer with a focus on scientific computing systems, you will be responsible for constructing and scaling the computational foundation of our scientific tools. This includes accelerating simulation and optimization workloads, facilitating robust distributed execution, and ensuring correctness and reproducibility across numerical pipelines. You will collaborate closely with a diverse team comprising AI Engineers, Software Engineers, Mathematicians, and Physicists to develop tools that revolutionize how engineers and scientists leverage AI in their daily operations. Your Mission: Scalable Scientific Computing: Develop high-performance, reliable systems for simulation, inference, optimization, and uncertainty quantification workflows, particularly in the realms of electromagnetic simulation and inverse design. Performance Optimization: Analyze and enhance performance throughout end-to-end pipelines (CPU/GPU). Distributed Execution & HPC: Design and sustain distributed computing infrastructure for extensive sweeps and multiple experimental runs (multi-GPU/multi-node), emphasizing reproducibility, observability, and developer usability. Verification & QA: Establish rigorous testing and verification protocols for scientific computing pipelines (numerical regression, invariants, convergence tests, golden datasets), ensuring reliable results over time.

Job TitleLead Principal Software Engineer - Python AI PipelinesOverviewJoin our innovative team at code-metal, where we are pioneering the next generation of transpilation tools powered by artificial intelligence and cutting-edge verification techniques. Our mission is to seamlessly connect the realms of algorithm development and deployment for embedded systems.In this pivotal role, you will be at the forefront of designing and implementing advanced code generation pipelines. Our methodologies incorporate a blend of Generative AI, Static Analysis, and Formal Verification to facilitate the translation of code from one programming language to another.

GMO seeks a Software Engineer focused on Client Systems for its Boston, MA office. This position involves developing and refining software that underpins client services. Teamwork with colleagues from various backgrounds is part of the daily routine. Key responsibilities Design, build, and implement software solutions for systems used by clients Collaborate with teams across disciplines to deliver new features and system improvements Troubleshoot technical issues to maintain system efficiency and reliability Share ideas and technical expertise to enhance user experience and overall system performance Location This role is based in Boston, MA.

Role Overview Datadog is looking for a Senior Software Engineer focused on Distributed Systems to join teams in Boston, MA or New York, NY. This role centers on designing, building, and maintaining the core platforms that power Datadog’s applications. These systems handle data at massive scale, supporting real-time ingestion, storage, analysis, and querying of billions of events from customers worldwide. What You Will Do Design and implement distributed data pipelines built for durability, high availability, and low latency Operate and improve platforms that support internet-scale workloads Ensure systems are reliable and efficient for real-time analytics Workplace and Culture Datadog values a lively office culture that encourages creativity, teamwork, and strong connections among colleagues. The company offers a hybrid workplace model to support work-life balance.

At WHOOP, we are dedicated to empowering individuals to enhance their performance and extend their healthspan. As a Senior Software Engineer on our Business Systems team, you will be instrumental in designing and implementing robust backend systems that drive WHOOP’s internal operations. Your efforts will facilitate scalability and operational efficiency across various departments, including Finance, Operations, and Member Services. By architecting and maintaining critical services and integrations, you will play a crucial role in ensuring that our systems are reliable, secure, and high-performing, ultimately helping WHOOP deliver exceptional value to our members and support our global growth ambitions.

At WHOOP, we are dedicated to revolutionizing human performance and extending healthspan. By empowering our members with a profound understanding of their bodies and daily activities, WHOOP enables individuals to achieve their peak potential.We are seeking a talented Software Engineer II to become an integral part of our Business Systems team. In this pivotal role, you will be responsible for designing and implementing robust backend systems that drive WHOOP's internal operations, fostering scalability and efficiency throughout the organization. You will architect and maintain essential services and integrations that support various functions, including Finance, Operations, and Member Services. By developing reliable, secure, and high-performance systems, you will have a direct impact on how WHOOP delivers unparalleled value to our members and scales on a global level.

WHOOP is dedicated to revolutionizing human performance through technology. Our mission is to empower individuals to optimize their physical and mental well-being by offering unparalleled insights into their health and fitness through our advanced wearable devices. These devices meticulously track vital physiological metrics, including heart rate variability, resting heart rate, and sleep quality, to deliver tailored feedback on fitness, health, and recovery. The AI Support team at WHOOP is committed to creating exceptional support experiences for our users, harnessing the latest advancements in AI technology.As the Software Engineering Manager at WHOOP, you will be pivotal in both technical leadership and people management. Collaborating closely with product management, you will design enriching user experiences while steering software teams to ensure your team successfully meets its objectives. You will guide the team in crafting technical designs, optimizing architecture, and achieving operational excellence. Upholding best practices and high standards in software development will be paramount in your role.On the people management front, you will oversee and mentor a diverse team of engineers specializing in backend, AI, iOS, and Android development. You will provide ongoing performance feedback and facilitate professional growth and development opportunities. Cultivating a culture that encourages innovation, collaboration, psychological safety, and continuous learning will be essential. Your leadership will promote a positive work environment where every team member feels valued, supported, and empowered to excel.

At Klaviyo, we cherish the distinct backgrounds and perspectives that each Klaviyo (as we affectionately refer to ourselves) contributes to our vibrant workplace. We firmly believe in equitable opportunities for success and value the diverse experiences that go beyond conventional job criteria. If you find that you align closely with the role but may not meet every single requirement, we encourage you to apply. Curious about what life is like at Klaviyo? Explore klaviyo.com/careers to see how we empower creators to own their destinies.Senior AI Software EngineerAt Klaviyo, we envision a future where software transcends mere productivity tools for human users, evolving into self-learning, self-optimizing systems grounded in measurable outcomes. Our infrastructure and applications currently support a thriving community of over 182,000 customers, encompassing billions of consumer profiles and facilitating hundreds of billions of customer interactions.We are now pioneering the development of next-generation AI and machine learning technologies designed to empower these products, creating AI agents capable of autonomously designing, executing, and refining marketing and customer experience strategies tailored for businesses of all sizes.As a Senior AI Software Engineer, you will play a pivotal role in architecting, developing, and scaling the backend and machine learning frameworks that underpin Klaviyo’s AI initiatives. You will collaborate closely with product managers, data scientists, and engineering teams to deliver intelligent, outcome-oriented systems that operate at an unprecedented scale, while also mentoring team members and guiding the technical vision of the group.Your ImpactLead the architecture and development of backend and ML systems serving over 182K customers.Create robust, reliable, and efficient data processing and model-serving pipelines that fuel production ML models.Design and enhance predictive systems (e.g., conversion likelihood, engagement ranking, personalization strategies) that drive customer engagement.

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

Join Anduril Industries as a Senior Software Engineer specializing in Flight Management Systems. In this pivotal role, you will design, develop, and implement software solutions that enhance our advanced flight management technologies. You will work closely with cross-functional teams to ensure high-quality software delivery and contribute to innovative projects that push the boundaries of technology.

Join us at DigitalOcean, where you can unlock your full potential and create the most impactful work of your career. Collaborate with a vibrant community of exceptional professionals who are passionate about simplifying cloud technology. If you are driven by innovation, possess a bold vision, and thrive in a dynamic environment, you’ll find a welcoming place here. We celebrate success together, fostering a culture of learning, enjoyment, and making a meaningful impact for the innovators and creators worldwide.Scope and Mission:Lead the design and operation of the Gradient AI platform, delivering an intuitive and innovative agent development experience that excels in scalability, performance, and reliability.Shape architectural vision, technical excellence, and drive innovation across backend systems and customer-facing interactions.Key Responsibilities:Architect and BuildDesign and enhance the architecture for our agent development experience, encompassing code integration, evaluations, observability, tools, and cross-agent interactions.Initiate and implement an architecture that is optimized for scalability, reliability, low-latency, and cost-efficiency.Oversee and improve our benchmarking system to continuously elevate our development experience.Take a hands-on leadership role in rolling out new services to ensure timely delivery.Technical LeadershipEstablish and uphold technical standards, coding practices, tooling, and infrastructure guidelines across AI/ML engineering teams.Develop best practices for design, testing, deployments, instrumentation, and performance tuning.Mentor and guide senior engineers, fostering a culture of architectural rigor and operational excellence within the team.Cross-functional CollaborationCollaborate with product managers, stakeholders, and business leaders to translate strategic objectives into actionable technical roadmaps.Advise customer-facing teams (e.g., consultants, support, sales engineers) in shaping AI modernization initiatives through agent development.Reliability, Performance & ScalingLead Operations Excellence for our Agent development platform, establishing scalable mechanisms and processes to support the engineering organization.

Join our dynamic team at Shield AI as an Embedded Software Engineering Intern for the Summer of 2026. This is an exceptional opportunity for aspiring engineers who are eager to immerse themselves in the world of embedded systems. You will work closely with experienced professionals to develop innovative software solutions that enhance our cutting-edge technologies.