Research Internship in Formal Methods for Science

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…

Join Code Metal as a Research Engineer specializing in Formal Methods and contribute to groundbreaking innovations at the nexus of theory and practice. In this pivotal role, you will implement and integrate advanced testing and verification tools into our suite of products.Your collaboration with researchers and engineers will be essential in embedding formal methods techniques within our workflows, fostering advancements at the intersection of formal methods and artificial intelligence.Key ResponsibilitiesPartner with the research team to translate theoretical formal methods research into practical, production-ready applications within Code Metal products.Adapt and apply tools and frameworks to enhance the accessibility of formal verification for practicing engineers.Conduct experiments to assess the applicability and effectiveness of formal methods on large-scale industrial codebases.Engage with multidisciplinary teams to contribute to both research projects and production-quality solutions.

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 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 hardware development by 2030. Teams at Axiomatic AI focus on transforming hardware design and simulation, aiming to turn research breakthroughs into commercial products. Offices are located in Boston, Toronto, and Castelldefels (Barcelona). Research Internship: Role Overview This internship focuses on exploratory research within agentic learning, memory, and neurosymbolic reasoning. The position is part of KAMAS (Knowledge, Agents, Memory and Systems), a team working on knowledge-driven, verifiable agentic AI systems. The main objectives: identify promising research directions and produce impactful results, with the possibility of publication. Research topics may include: Studying teacher and student interaction in long-term learning, where the student evolves through ongoing engagement with a teacher. Investigating how external and parametric memory interact, especially ways to enable effective two-way information flow. Applying neurosymbolic techniques for validation and verification (V&V) in agentic reasoning systems. These areas are starting points; additional research directions may develop based on intern background, interests, and project needs. What You Will Do Conduct exploratory research in line with KAMAS objectives in agentic AI and learning systems. Design, implement, and run experiments to evaluate research ideas. Document findings for internal use and presentations, with the potential for external publication.

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

Harvard University is seeking a dedicated and skilled Research Lab Manager to oversee operations within our esteemed research facility. This role involves managing day-to-day activities, ensuring compliance with safety standards, and facilitating a productive research environment. As a key figure in our lab, you will collaborate with researchers and students, guiding them in their projects and ensuring the lab is equipped with the necessary resources.

Veeva Systems is a purpose-driven organization and a leader in the industry cloud sector, dedicated to accelerating the delivery of therapies to patients in the life sciences sector. As one of the fastest-growing SaaS companies in history, we achieved over $2 billion in revenue in our last fiscal year, with significant growth opportunities on the horizon.Central to Veeva's mission are our core values: Doing the Right Thing, Ensuring Customer Success, Fostering Employee Success, and Promoting Speed. We are not just another public company; we made history in 2021 by becoming a public benefit corporation (PBC), which legally obliges us to balance the interests of our customers, employees, society, and investors.As a Work Anywhere company, we offer the flexibility to work from home or in the office, empowering you to thrive in your optimal work environment.Join us in transforming the life sciences industry, as we remain committed to making a positive impact on our customers, employees, and the communities we serve.Role OverviewWe are on the lookout for exceptional talent to join our Business Consulting group within R&D, a vital focus area for Veeva. We collaborate with senior customer stakeholders, recognized as the partner of choice for 85% of the top 20 pharmaceutical companies, to define and capture the strategic value of Regulatory Affairs, Clinical Strategy & Operations, as well as Quality and Safety (e.g., Pharmacovigilance). As a Consultant, you will oversee consulting project workstreams for Veeva's R&D customers, orchestrating planning, organization, and tracking of all delivery aspects. You will engage in problem analysis, develop insightful solutions, and cultivate strong relationships with customer stakeholders through various channels (in-person meetings, workshops, email, etc.) to deliver measurable and sustainable value, at the forefront of digital and R&D innovation.

At Veeva Systems, we are driven by our mission to revolutionize the life sciences industry, empowering companies to expedite the delivery of therapies to patients. As a trailblazer in the industry cloud sector, we proudly achieved over $2 billion in revenue last fiscal year and continue to expand rapidly.Our core values—Do the Right Thing, Customer Success, Employee Success, and Speed—define our approach. In 2021, we made headlines by becoming a public benefit corporation (PBC), committed to balancing the needs of our customers, employees, society, and investors.As a Work Anywhere company, we offer flexible work arrangements so you can choose to thrive in an environment that suits you best—whether from home or in the office.Join us as we continue to transform the life sciences landscape, dedicated to creating a positive impact for our customers, employees, and communities.The RoleAs an Engagement Manager within our R&D Consulting group, you will intersect strategy, operations, data, and technology to lead complex consulting projects for our life sciences clients. This role is critical in establishing a premier R&D consulting practice, gaining visibility across Veeva and influencing leaders within the broader Life Sciences sector. You will oversee project teams, ensuring effective planning, organization, and tracking of all project delivery aspects. Your efforts will help bolster our market presence, expand our customer network, and uncover new project opportunities. Your focus will be on pivotal areas such as Clinical Development, Regulatory Affairs, and Pharmacovigilance/Drug Safety.

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.

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.

About GenScriptGenScript Biotech Corporation (Stock Code: 1548.HK) is a pioneering global biotechnology organization founded in 2002, with a strong presence across North America, Europe, Greater China, and the Asia Pacific. Our core business areas leverage cutting-edge gene synthesis technology, offering a range of custom life science services including CRO operations, enzyme and synthetic biology products, biologics development and manufacturing, and cell therapy.GenScript is dedicated to becoming the most trusted biotech company, utilizing biotechnology to improve health for both humanity and nature.Job Scope:The Sales Account Manager will spearhead sales initiatives within a designated territory, implementing effective sales and marketing strategies for GenScript's custom life science services. This individual will leverage scientific and business acumen, along with established corporate relationships, to foster profitable projects and enhance sales performance.This position primarily serves the Northeast Territory, focusing on academic clients, and the ideal candidate will be based in the Boston, MA or New York, NY area.The expected salary range for this role is $80,000 - $95,000, depending on experience.Key Responsibilities:The Sales Account Manager will collaborate with Regional Sales Managers and Technical Solution Managers to cultivate and expand their assigned sales territory. They will promote GenScript's custom life science service offerings and be tasked with meeting sales targets for their territory. Responsibilities will include 50% account management, lead follow-up, and quoting, alongside 50% field travel for customer engagements.

ClearView Healthcare Partners is a strategy consulting firm specializing in life sciences, with headquarters in Boston and offices in San Francisco, New York City, London, and Gurgaon. The firm works with clients in biopharmaceuticals, medical devices, and diagnostics, helping them make informed strategic decisions and reach business objectives. Role overview The Senior Manager or Director of Expert Research Solutions (ERS) leads ClearView’s primary research function. This position designs and manages a network of payers, key opinion leaders (KOLs), and industry experts to support client projects. The role blends strategic planning, team leadership, P&L oversight, and relationship-building. Ensuring consultants have access to the right expertise for each engagement is central to this position. What you will do Build and optimize a network of subject matter experts, payers, and KOLs for primary research needs Guide and strengthen the ERS team’s capabilities to support varied project types, including complex recruitments, niche expertise, and high-volume studies Oversee operational aspects of the ERS function, such as budget and resource management Identify emerging client needs and proactively develop relevant partnerships Ensure the consulting team can access targeted knowledge to drive client outcomes Requirements Proven operational leader with experience building and managing expert networks Strong connector with a strategic approach to anticipating and meeting diverse research needs Demonstrated skills in team leadership, P&L oversight, and relationship management Comfortable working across multiple project types and shifting priorities Location This position is based in Boston, MA or New York City, NY.

About Formation Bio Formation Bio is a pharmaceutical company focused on improving drug development through technology and artificial intelligence. Since its founding in 2016 as TrialSpark Inc., the company has built technology platforms and processes that help move drug candidates through clinical trials faster and more efficiently. Formation Bio works with pharmaceutical companies, research organizations, and biotech firms to acquire and develop drugs that have advanced beyond clinical proof of concept, aiming to bring new therapies to patients sooner. Investors include a16z, Sequoia, Sanofi, Thrive Capital, John Doerr, Spark Capital, and SV Angel Growth. Our Vision for AI in Pharma Our Current Drug Portfolio Our Technology & Platform Formation Bio’s team shares a commitment to values that support the mission of speeding up the delivery of new treatments to patients. Role Overview: Director of Data Science The Director of Data Science will lead efforts to transform drug development using advanced analytics and artificial intelligence. This leader will oversee projects that shape the drug development pipeline, including building models for patient selection and deploying AI-driven tools to improve clinical trial operations. The role connects computational biology, machine learning, and drug development, working closely with teams from different backgrounds to turn complex biological data into practical insights. The position offers the chance to shape the future of pharmaceutical development with advanced AI methods and contribute to better patient outcomes. Location Boston, MA or New York, NY

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.