Computer System Validation Lead / Program Manager

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

Join Harvard University as a Scientific Platform Engineer, where you will play a crucial role in the development and maintenance of advanced scientific computing platforms. This position offers an exciting opportunity to collaborate with leading researchers and contribute to groundbreaking projects. You will be responsible for designing, implementing, and optimizing software solutions that support scientific research initiatives.

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 Us: Axiomatic AI is pioneering a new generation of AI systems that apply the scientific method rigorously. By integrating deep learning with formal logic and physics-based modeling, we develop verifiable and interpretable AI systems that enhance and assist human researchers within critical scientific and engineering processes. Our Mission, 30×30: We are committed to achieving a 30× enhancement in the speed, accessibility, and affordability of semiconductor and photonic hardware development by the year 2030. We envision transforming hardware design and simulation across these sectors and are assembling a team of passionate professionals to translate these advancements from research into commercial products. Position Overview: As an AI Research Scientist specializing in photonic and neuromorphic computing, you will be instrumental in crafting AI algorithms and architectures, as well as simulation and optimization frameworks tailored for innovative, non-traditional computing platforms. You will help develop algorithms, digital twins, and training methods that connect AI, physics, and hardware-aware system design within Axiomatic's next-generation computational science tools. This position is part of Axiomatic's long-term research and product strategy, involving collaboration across various projects and initiatives, and working closely with AI researchers, physicists, and software engineers to translate cutting-edge concepts into scalable, impactful solutions. Your Mission: Simulation and Digital Twins: Create simulation and digital-twin tools that effectively model physical effects such as nonlinearities, noise, and precision limits, facilitating hardware-aware algorithm development. Co-Design and Collaboration: Collaborate with internal AI, software, and hardware teams to ensure cohesive alignment between algorithms, system constraints, and overarching platform objectives, including the automation of scientific workflows. Algorithm and System Design: Architect and prototype machine-learning frameworks and physics-aware optimization workflows for neuromorphic systems, examining efficient mappings of AI models onto emerging hardware substrates. Research, Benchmarking, and Reporting: Assess system-level performance trade-offs, conduct benchmarking studies, document findings, and contribute to technical decision-making across Axiomatic’s R&D portfolio.

Join Motional's cutting-edge team at our global headquarters located at 100 Northern Avenue in Boston, MA. Situated in the lively Seaport district, our office boasts stunning views of Boston Harbor and is conveniently close to major transit lines, a variety of restaurants, and popular attractions.Mission Overview:At Motional, our CORE team is at the forefront of developing our vehicle's Compute and Onboard Runtime Environment. We are dedicated to creating a leading AI compute platform for autonomous vehicles, executing the software and neural networks crucial for vehicle autonomy.The Next-Gen Technologies team, a key part of CORE, operates at the intersection of software engineering, machine learning, sensors, and hardware compute platforms to advance Motional's onboard vehicle architecture. If you are a passionate software engineer excited about embedded AI hardware and software systems, we would love to connect with you!Your Role:As a Senior Engineer on the Next-Gen Technologies team, you will play a vital role in enhancing the compute performance of our autonomous driving systems, contributing to the entire development lifecycle from ideation to proofs-of-concept to production.Your Responsibilities:Specialize in ML model deployment, integration of multiple ML models, and optimization on embedded compute platforms.Deep dive into the complete ML software stack, analyzing workload performance across various hardware processors, optimizing ML models, and enhancing ML software to continuously improve our stack with efficient approaches.Design, develop, test, integrate, and optimize software tools on diverse ML compute architectures.Collaborate with experts in perception, prediction, and other autonomous driving areas to enable algorithms on GPU, NPU, and other ML accelerator architectures.Optimize GPU/NPU resource utilization and manage sharing across multiple programs on the same system.Lead design initiatives to assess system needs and enhance our ML software stack accordingly.Provide technical guidance to peers and management.

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.

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.

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.

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.

Join DigitalOcean as a Systems Engineer II, where you will play a crucial role in designing, implementing, and maintaining our infrastructure. You will collaborate with cross-functional teams to ensure optimal system performance and reliability while contributing to our mission of making cloud computing accessible to developers.

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.

Medraai seeks a Systems Test Engineer for a 5-month contract based at a customer location in Boston. This role centers on supporting advanced robotic systems used in biological research. The engineer will work independently on-site, running daily protocols, troubleshooting technical issues, and keeping close communication with the Medraai engineering team in San Francisco through Slack and observability tools. What you will do Keep robotic systems running reliably during daily operations and look for ways to improve performance. Troubleshoot on-site issues using standard operating procedures, playbooks, and hands-on knowledge of the systems. Document and report complex incidents, including relevant data, to the engineering team. Monitor system health using dashboards and alerts to prevent failures in production. Carry out regular calibration and preventive maintenance on robots, peripherals, and consumables. About Medraai's technology Medraai builds Physical AI Scientists, robotic systems that work alongside biopharma partners to accelerate scientific discovery. Their robots handle scientific instruments with dexterity similar to humans, while their AI can analyze results and determine next steps on its own. The company launched its first production system over a year ago and recently closed a $52 million Series A. Medraai is now opening one of the country’s largest autonomous labs. Team and culture Engineers come from organizations such as Tesla, Amazon, SpaceX, and Neuralink. Collaboration and rapid iteration are part of daily work and team activities, including outings like skiing or go-karting. The team values curiosity, engineering, and robotics. Members share interests from race cars to cooking, and learning together is common. Open and direct communication is encouraged. Design trade-offs are discussed thoroughly, and disagreements are handled with empathy and efficiency.

Role overview Harvard University is hiring a High Performance Computing Engineer based in Boston. This position centers on the design, construction, and enhancement of high-performance computing (HPC) systems and infrastructure. The engineer will work closely with researchers and faculty, providing technical expertise to meet advanced computational requirements for scientific research projects. Supporting innovation and research through reliable and efficient HPC resources is a key focus of this role. Key responsibilities Design and build high-performance computing systems Improve and maintain HPC infrastructure Collaborate with faculty and researchers to address computational challenges Location This position is based in Boston.

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.

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

Join Anduril Industries as a Staff Software Engineer specializing in our Flight Management System. In this role, you will lead key technical initiatives, develop cutting-edge software solutions, and collaborate with cross-functional teams to enhance our drone technology. Your expertise will be critical in optimizing flight operations and ensuring the reliability of our systems in real-world applications.

IonQ is at the forefront of quantum computing, pioneering the development of the world's most advanced full-stack quantum computer using trapped-ion technology. Our work transcends the boundaries of classical physics and supercomputing, ushering in a transformative era for computing. Quantum computing holds the promise of significantly enhancing various sectors, including medicine, materials science, finance, artificial intelligence, machine learning, cryptography, and beyond. Join us as we redefine industries with our cutting-edge quantum solutions.We are seeking a talented and driven Lead Microwave Research Scientist to join our dynamic team. In this role, you will collaborate with a multidisciplinary team dedicated to advancing IonQ's mission of constructing the most effective quantum computers capable of addressing the globe's most intricate challenges.As a Lead Microwave Research Scientist, you will be responsible for:Collaborating with architecture teams to translate system-level specifications into detailed component-level requirements and design guidelines.Designing microwave circuits while considering performance targets, fabrication capabilities, and interactions with other components.Fabricating and testing prototype devices.Managing partnerships with external vendors to enhance fabrication and testing processes at scale.Working alongside internal testing and measurement teams to verify that devices fulfill specified performance criteria.