Research Engineer in Formal Methods

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

FieldAI is revolutionizing the interaction between robots and the real world. Based in Boston, our expanding R&D team is dedicated to creating reliable, risk-aware AI systems designed for the field. We address complex challenges in robotics and unlock the potential of embodied intelligence through a pragmatic approach that transcends conventional off-the-shelf, data-driven methods and transformer-only architectures. Our advanced solutions are currently deployed globally, with continuous model performance enhancements driven by rapid iterations from real-world applications.We invite you to join our dynamic humanoid manipulation team as a Senior Research Engineer. In this pivotal position, you will merge robotics research with practical engineering, focusing on developing, testing, and refining manipulation capabilities to advance autonomous control and loco-manipulation in humanoid robots. Collaboration will be key as you work alongside research scientists, engineers, and product partners to design innovative manipulation strategies that contribute directly to FieldAI's robot learning pipelines.Furthermore, you will play an instrumental role in enhancing robotics foundation models that are embodiment agnostic, initially targeting humanoid platforms. This position is centered around pushing the boundaries of manipulation research while ensuring that breakthroughs translate into scalable and practical autonomy in real-world environments.

FieldAI is at the forefront of revolutionizing robot interactions with the real world. Our dynamic R&D team, based in Boston, is committed to developing risk-aware, reliable, and field-ready AI systems that address the most challenging problems in robotics and unleash the potential of embodied intelligence. We adopt a pragmatic methodology that transcends traditional off-the-shelf and purely data-driven approaches, integrating cutting-edge research with practical deployment. Our solutions have been successfully implemented globally, and we continuously enhance model performance through rapid iterations informed by real-world applications.We are looking for a seasoned Senior Engineering Manager to lead an agile, high-performing team of research scientists and engineers at the cutting edge of robotics AI. In this pivotal role, you will craft and implement research strategies, oversee the creation of advanced AI algorithms, and steer initiatives from initial research to real-world deployment on physical robotic systems. You will harmonize deep technical leadership with effective people management, ensuring scientific excellence and tangible impact on the field.This is your chance to influence the future of robotic autonomy by transforming groundbreaking research into systems that function reliably in complex, dynamic environments on actual robots.

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 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.

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.

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.

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.

Join our innovative team at Foundation LLM Technologies, an MIT-originated and venture-backed startup situated in the heart of Silicon Valley. We are on a mission to create a groundbreaking AI Copilot for design and manufacturing, resembling a real-life 'Jarvis'. By harnessing cutting-edge artificial intelligence, advanced physics simulations, and state-of-the-art computer graphics, we aim to lower costs and enhance engineering productivity throughout the entire design and manufacturing lifecycle.

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.

Virtu is a premier financial services firm that utilizes state-of-the-art technology to enhance liquidity across global markets and provide innovative, transparent trading solutions for our clients. As a leading market maker, Virtu contributes significant liquidity, fostering more efficient markets worldwide. Our expertise in market structure, extensive diversification, and advanced execution technology empower us to offer competitive bids and offers across over 19,000 securities, at more than 235 venues in 36 countries.The firm's complementary core services—market making, client execution services, and trading venues—grant Virtu a unique advantage in developing and deploying pioneering tools that enhance efficiency and performance throughout the organization. Our daily efforts enable investors globally to achieve superior trading outcomes. Our teams set high standards and are dedicated to delivering best-in-class service to institutional investors worldwide. From traders to technologists and everyone in between, we are driven by innovation, problem-solving, and making a significant impact on our clients' success.THE ROLEVirtu is seeking a skilled and meticulous Quantitative Researcher to join our Financial Engineering team in Boston, providing support to our Virtu Execution Services Business. This position focuses on the research, development, deployment, and maintenance of our cutting-edge statistical models for pre- and post-trade decision support related to fixed income securities, facilitating their integration into trading applications. The ideal candidate will join a robust team dedicated to trading-related research and development, applying principles of scientific computing, statistical learning, and advanced analytical and programming skills to create actionable tools that enhance decision-making across various asset classes including equity, fixed income, and FX.

Teamwork fuels our streaming success. Join Roku in revolutionizing the way the world experiences TV.As the leading TV streaming platform in the U.S., Canada, and Mexico, Roku is dedicated to connecting every television globally. We pioneered the streaming revolution and aim to unify the entire TV ecosystem. Roku bridges consumers with the content they cherish, empowers content creators to grow and monetize their audiences, and offers advertisers innovative tools for consumer engagement.From day one at Roku, you’ll become an essential contributor in a rapidly expanding public company where every voice matters. This is your chance to enhance the viewing experiences of millions worldwide while gaining invaluable insights across diverse disciplines. About the TeamThe UX Research team integrates customer feedback throughout the development stages, from initial discovery to post-launch analysis. We collaborate with various stakeholder teams to ensure a balanced customer experience that aligns with product monetization strategies. About the RoleRoku is seeking a Quantitative UX Researcher to focus on customer sentiment analysis through surveys linked with product A/B testing and other quantitative research initiatives. This role entails working closely with cross-functional teams, including Product Management, Data Analytics, Engineering, Design, and fellow researchers. You will engage in projects that impact millions of users, guiding critical decisions regarding new products and features.For candidates located in Massachusetts, the expected annual base salary for this position ranges from $90,000 to $120,000. Compensation packages vary based on individual qualifications including skills, certifications, and geographical location. This position is eligible for health insurance, equity awards, life insurance, disability benefits, parental leave, wellness programs, and paid time off. Key ResponsibilitiesDesigning, planning, and executing research projects to gauge product and feature sentiment, particularly within the context of A/B testing.Collaborating actively on the design of experiments and other research methodologies.

Role Overview Virtu Financial is hiring a Quantitative Researcher for the Financial Engineering team in Boston. This role centers on researching, developing, and maintaining advanced mathematical and statistical products. These tools support our clients by making complex analytics accessible and actionable. What You Will Do Develop, deploy, and support mathematical and statistical models for pre- and post-trade decision support. Apply scientific computing methods and advanced analytics to solve trading-related challenges. Use modern programming tools and software to build and maintain models. Enhance quality assurance processes and optimize model analysis. Support and improve product offerings for institutional investors across equity, fixed income, FX, and other asset classes. Team and Impact Join a high-performing group focused on trading research and development. The team’s work produces insights that help investors worldwide achieve better trading outcomes. Virtu values innovation, problem-solving, and a commitment to raising standards for client service in the financial sector.

Join the prestigious team at Harvard University as a Research Assistant I in our cutting-edge laboratory. This role offers a unique opportunity to engage in innovative research projects, contribute to scientific advancements, and collaborate with esteemed professionals in the field. Ideal candidates will possess strong analytical skills, a passion for research, and a commitment to excellence.

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.

drug-hunter is hiring a Senior Industry Research Scientist to drive research efforts and foster connections within the pharmaceutical and biotech industries. This fully remote role centers on Boston, Massachusetts, but welcomes candidates who can work effectively from anywhere while engaging with the Boston-area community. What you will do Lead and contribute to research projects that expand industry knowledge Work alongside seasoned professionals to address complex scientific questions Build and maintain relationships with key stakeholders in the pharmaceutical and biotech sectors Location This is a remote position based in Boston, Massachusetts, United States.

Research Scientist in PhysicsAbout UsPhysical Superintelligence is a pioneering startup with prestigious roots at Harvard, MIT, Johns Hopkins, Oxford, the Institute for Advanced Study, and the Perimeter Institute. We are on a mission to build AI systems that uncover new physics breakthroughs at scale. We invite talented physicists to join our team in crafting evaluation frameworks and verification systems that facilitate AI-driven discoveries in physics.Key ResponsibilitiesTransform cutting-edge physics challenges into machine-verifiable tasks that AI systems can systematically navigate. This role entails writing production-level code, collaborating with AI researchers and engineers, and delivering operational systems that foster large-scale physics discovery.- Design evaluation frameworks across diverse physics domains, including atomic, molecular, and optical physics, condensed matter physics, plasma physics, fluid dynamics, astrophysics, quantum information, high-energy theory, biophysics, soft matter, and statistical mechanics.- Create verification harnesses that encode principles of physical validity, conservation laws, and experimental integrity to differentiate authentic physics insights from numerical artifacts.- Integrate advanced physics simulations into AI environments and establish benchmarks that assess genuine physics reasoning.- Collaborate with AI researchers to refine agent architecture and training methodologies, while developing production code that underpins extensive discovery workflows.QualificationsWe are looking for candidates with a PhD in Physics or a related discipline, possessing in-depth knowledge in at least one significant area of physics and proficient programming skills. Ideal candidates should demonstrate a history of addressing complex, unresolved problems and excel in dynamic research settings.Areas of Expertise:- Profound knowledge in atomic, molecular, and optical physics, condensed matter physics, plasma physics, fluid dynamics, astrophysics, quantum information, high-energy theory, biophysics, soft matter, statistical mechanics, or equivalent physics disciplines.- Solid understanding of physical validity, conservation laws, and experimental limitations.Programming and Computational Skills:- Proficient in Python and C++, with experience in computational physics simulations and high-performance computing.- Hands-on experience with simulation tools such as VASP, Quantum ESPRESSO, LAMMPS, GROMACS, OpenFOAM, COMSOL, or similar platforms.