Research Engineer in Formal Methods

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.

Join our dynamic team as a Principal Software Engineer specializing in Program Analysis for AI! We are on the lookout for a highly skilled software engineer to spearhead the development of next-generation transpilation tools that leverage AI and advanced verification techniques. Your work will play a crucial role in bridging the gap between algorithm development and the deployment of these algorithms in embedded systems.In this pivotal position, you will lead the design and implementation of innovative code generation pipelines that integrate Generative AI, Static Analysis, and Formal Verification methods to facilitate the translation of code from one programming language to another.

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.

Join us in transforming how the Department of Defense approaches multi-billion-dollar force design decisions. In this pivotal role, you will integrate physics-driven simulations, interactive computing, and verified AI code-generation to develop cutting-edge wargaming platforms. We are looking for a seasoned software engineer who can take ownership of critical components within a scalable, cloud-distributed simulation environment, while inspiring and leading a dedicated team.Your Responsibilities Create and implement a robust, interactive physics simulation that operates flawlessly across cloud and on-premises clusters. Manage core functionalities in modern C++, focusing on multi-threaded performance tuning and continuous integration. Collaborate with product and AI teams to integrate verified AI-generated algorithms into a developer SDK that enhances the platform. Rapid prototyping and iteration: deliver functional capabilities to government end-users in weeks, not months. Set high engineering standards: produce clean code, maintain rigorous documentation, and mentor team members through code reviews and pair programming. Why Choose Code Metal? Impactful Mission: Your contributions will shape digital battlefield models that directly affect real-world acquisition strategies. Agility: Work within small teams, experience rapid iteration cycles, and have the authority to deliver solutions. Ownership: Everyone is a contributor—no passengers, everyone pushes code to production.

Empower decision-makers with timely insights at Code Metal. Here, real-time physics simulations, AI-driven insights, and operational actions coalesce into expansive data streams. As the lead for our Visualization & Frontend team, you will transform this overwhelming influx of information into sophisticated, impactful experiences that inform multi-billion-dollar strategic choices in force design, guided by wargaming principles. We seek a hands-on architect to construct a modular UI stack, navigate complex geospatial and temporal data, and mentor a select group of talented engineers to deliver high-quality products swiftly.Your Responsibilities Architect an innovative UI framework: Create a component library and plugin architecture that enables internal teams and future partners to enhance visualizations without altering the core codebase. Render data at scale: Develop responsive visualizations that combine live simulation outputs, AI insights, and historical data into a seamless, interactive timeline. Integrate smoothly: Utilize FastAPI/ZeroMQ endpoints from the backend and provide well-versioned client APIs for mission planning and dashboards. Collaborate with stakeholders and UX design leads: Continuously refine user experience based on performance metrics and feedback from Air Force wargamers and UX specialists. Lead by example: Promote UI/UX best practices, conduct code reviews, participate in design critiques, and implement automated testing; support team members in becoming force multipliers. Continuous deployment: Manage the CI/CD pipeline for web and desktop applications, with a focus on DoD accreditation and cross-domain distribution. Why Join Code Metal? Impactful mission: Your visualizations will contribute to discussions that shape the future of military force structure. Agility: Work in tight iterations with small teams—design in the morning and deploy by evening. Ownership: No bystanders here—every engineer plays a crucial role in shipping meaningful code.

Join our innovative team at Code Metal as a Senior Software Engineer specializing in Rust and Python. We are at the forefront of creating cutting-edge AI-powered transpilation and code generation tools that seamlessly connect algorithm development with embedded deployment. By utilizing the latest advancements in Generative AI, Static Analysis, and Formal Verification, you will play a crucial role in shaping the future of software engineering.This role transcends traditional backend responsibilities; we are searching for engineers with a holistic approach to system design and development. You will engage with user needs and UX, delivering resilient and scalable solutions across the entire technology stack.

Join us in transforming how the Department of Defense (DoD) approaches multi-billion-dollar force design decisions. As a Senior Principal Software Engineer, you will integrate physics-based simulations, dynamic computing, and validated AI code generation to develop state-of-the-art wargaming platforms. We are looking for a proactive leader who can architect and develop a scalable, cloud-distributed simulation environment while motivating a small, dedicated team through hands-on leadership.Your ResponsibilitiesDesign & Implement: Create a robust, interactive physics simulation that operates efficiently across cloud and on-premises clusters.Own the Core Codebase: Manage the modern C++ codebase, focusing on multi-threaded performance optimization and continuous integration practices.Collaborate: Work closely with product and AI teams to incorporate verified, AI-generated algorithms directly into a developer SDK for platform enhancement.Prototype & Iterate: Deliver functional capabilities to government end-users in weeks, not months, through rapid prototyping.Set Engineering Standards: Uphold high coding standards, document processes thoroughly, and mentor team members through code reviews and pair programming.

Join us in transforming how the Department of Defense approaches multi-billion-dollar force-design decisions. As a Senior Backend Platform Engineer, you will integrate physics-driven simulations, interactive computing, and validated AI code generation to develop cutting-edge wargaming platforms. If the prospect of creating ultra-low-latency APIs, managing high-volume geospatial data, and leading with clean, production-ready Python excites you, we want to hear from you!Your ResponsibilitiesOwn the service layer: Design, build, and scale FastAPI microservices and ultra-fast ZeroMQ messaging pipelines in Kubernetes and bare-metal clusters.Wrangle data at speed & scale: Shape and query multi-TB Postgres/PostGIS datasets, orchestrate Redis for sub-millisecond state, and ensure stability under bursty loads.Glue the stack together: Expose crisp, well-versioned REST & WebSocket endpoints for the frontend team and simulation kernel.Ship continuously: Automate CI/CD, observability, and security hardening to meet DoD standards; deploy to production with confidence.Lead by example: Drive code reviews, mentor team members, and set the standard for test coverage and documentation.Why Choose Code Metal?Mission with Impact: Your work will contribute to the digital infrastructure of modern battlefields, influencing multi-billion-dollar defense acquisitions.Velocity: Work in tight-knit teams with weekly releases and no bureaucratic delays.Ownership: Every engineer is empowered to ship significant code without being a passenger.

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.

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

Job OverviewWe are seeking a highly skilled Senior Lead Solution Architect specializing in AI Agents to join our innovative team at Klaviyo. In this pivotal role, you will leverage your expertise to design cutting-edge solutions that enhance our AI capabilities and drive customer success.Key ResponsibilitiesLead the architecture and design of AI-driven solutions.Collaborate with cross-functional teams to identify and implement AI strategies.Optimize existing systems and processes to improve performance and scalability.

At Hi Marley, we understand that insurance plays a crucial role in people's lives during their most challenging times. Our mission is to revolutionize communication within the Property and Casualty (P&C) industry, making those pivotal moments quicker, simpler, and more empathetic for both carriers and their customers. We harness the power of AI-driven software to keep the claims conversation both informed and connected. If you share our vision of merging operational excellence and automation with a human touch, we’d be thrilled to connect with you.As we expand our team, we are seeking a Senior Software Engineer who is enthusiastic about crafting high-quality software that creates a tangible impact. You will be instrumental in delivering distributed and scalable systems that facilitate meaningful interactions between carriers and their clients. The ideal candidate should have a proven track record of developing within cloud environments and a pragmatic, hands-on approach to innovation—leveraging cutting-edge technologies, including AI-assisted development tools, to tackle complex challenges and yield significant results.Collaboration and shared enthusiasm are foundational to our culture, which is why this position entails being present in our Boston office two days a week.

Mission Summary The AI Data Foundry serves as the critical bridge linking our extensive data resources with the engineering teams that depend on them. We design and manage the essential services and infrastructure required to convert petabytes of raw data monthly into actionable insights for our Machine Learning and Autonomy engineers. This position is pivotal in driving our core initiatives: Data Processing: We are developing cutting-edge infrastructure to accommodate the demands of our rapidly expanding fleet and advanced ML engineering needs. Your responsibility will be to ensure that our core data pipelines are robustly engineered—performant, user-friendly, and highly fault-tolerant. Data Discovery: We are creating a platform that integrates data cataloging for search capabilities across our metadata stores, vector datastores, and various data warehouses to enhance our ML pipelines. You will collaborate with ML and autonomy stakeholders to develop this new discovery platform. Data Lineage: We are initiating the construction of our data lineage system to track data usage at Motional. You will partner with our stakeholders to ensure the widespread adoption of our system and address user pain points. What You'll Be Doing Playing a key role in designing and building the next generation of data infrastructure. Building scalable backend services for data discovery and data lineage systems. Writing high-quality, maintainable code to process petabytes of data. Leading and advocating for high-level system design and conducting quality code reviews and technical contributions. Designing, building, and maintaining scalable data processing and access using cloud ETL technologies.

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.

At WHOOP, we are driven by a commitment to enhancing human performance and extending healthspan. Our platform empowers a wide range of members, from Olympians and professional athletes to fitness enthusiasts, enabling them to achieve their peak potential by gaining profound insights into their bodies and daily lives. We are eager to welcome highly skilled and motivated engineers to join our team, propelling our established system to unprecedented heights. Join the AI Platform team at WHOOP where we are tasked with building a robust foundation that facilitates the scalable, responsible, and accessible implementation of Generative AI across our diverse array of products. Our primary focus is on creating reusable infrastructure, services, and tools that empower both product and software teams to explore, integrate, and deploy GenAI-powered features both efficiently and securely. By simplifying the complexities associated with large language models (LLMs) and ensuring the delivery of personalized insights to our members, our platform accelerates innovation while maintaining a consistent, high-quality user experience. As a Senior Software Engineer on the AI Platform team, you will play a pivotal role in designing and scaling the systems that underpin WHOOP’s Generative AI capabilities. You will develop robust, modular services and user-friendly tools that streamline the interaction with GenAI models across the organization. This position merges a platform-oriented mindset with engineering excellence, helping WHOOP unlock the full potential of Generative AI across our core products, coaching services, insights, and beyond.

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.

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

Role Overview Whoop is looking for a Senior Fullstack Software Engineer to join the AI Platform team in Boston, MA. This team builds technology that supports athletic performance and wellness, using artificial intelligence to deliver real impact. What You Will Do Design, implement, and optimize software solutions across both frontend and backend systems Work closely with cross-functional teams to bring new features and improvements to life Focus on delivering a seamless user experience while maintaining system performance and reliability What We Look For Experience in fullstack development, with skills in both frontend and backend technologies Interest in artificial intelligence and its applications in health or performance domains Ability to collaborate with engineers, designers, and product managers If building innovative software for athletes and wellness interests you, Whoop encourages you to apply.

Join Shield AI, a pioneering deep-tech company founded in 2015, dedicated to safeguarding service members and civilians through cutting-edge intelligent systems. With innovative products like the V-BAT and X-BAT aircraft, Hivemind Enterprise, and Hivemind Vision, we are at the forefront of technology that supports operations globally, with offices and facilities across the U.S., Europe, the Middle East, and Asia-Pacific. Discover more at www.shield.ai. Stay connected with us on LinkedIn, X, Instagram, and YouTube.Job Overview:As a Senior Software Engineer within the VBAT Software team, you will play a pivotal role in designing and developing sophisticated avionics software that integrates hardware, operating systems, and applications for advanced Unmanned Aerial Vehicles (UAV). Collaborating with a dynamic team of electrical engineers, GNC engineers, systems engineers, test engineers, and autonomy experts, you will create software systems that leverage state-of-the-art aerospace sensors, cutting-edge UAV avionics, and innovative Artificial Intelligence applications.Your responsibilities will include developing and sustaining robust software architectures, generating and maintaining comprehensive software requirements, documenting and presenting software designs, overseeing software development processes, and guiding the entire suite of VBAT software through rigorous testing, verification, release, and deployment phases.