> Markdown version of [/jobs/ext/2171949-senior-software-engineer-defense-autonomy](https://www.wearedevelopers.com/jobs/ext/2171949-senior-software-engineer-defense-autonomy). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Senior Software Engineer (Defense Autonomy) - **Company:** Applied Intuition - **Location:** Ann Arbor, MI, United States (Remote available) - **Experience:** Expert - **Salary:** $90,000.0 - **Contract:** Permanent contract - **Skills:** Clean Code Principles, Algorithm Design, C++ (Programming Language), Ubuntu (Operating System), Software Design Patterns, Linux, Formal Verification, Game Theory, Linux System Administration, Message Broker, Object-Oriented Software Development, Red Hat Enterprise Linux, SAP (Applications), Service-Oriented Architecture, Software Engineering, Multi-Agent Systems, Information Technology, Optimization Algorithms, Virtual Agents, C++14, Docker - **Published:** August 21, 2026 - **Apply:** https://jobs.mitalent.org/job-seeker/job-details/JobCode/403226895 ## About the Role * BS or MS in Computer Science, Software Engineering, Robotics, or a related technical field, OR 5+ years of professional experience developing intelligent agents or planning systems. * 5+ years of hands-on experience developing performant modern C++ (we use C++ 20). * Strong theoretical understanding and practical experience implementing algorithms for constraint satisfaction, scheduling, and optimization problems. * Demonstrable skill in analyzing, visualizing, and optimizing algorithm performance and solution quality. * Proficiency with Bazel in Docker-based Linux environments. * Strong procedural and object-oriented programming experience that employs clean code principles and good OOP design patterns/principles. * Experience developing in Docker and containerized development environments, and using Linux-based operating systems (e.g., RHEL, Ubuntu). * Understanding of Service-oriented Architecture and message broker vs data broker paradigms. * Ability to translate complex mathematical concepts into clear technical documentation and communicate complex software designs., * Advanced degree (MS+) in algorithms, computational optimization, or autonomous systems, OR 5+ years building autonomous decision systems. * Expertise in advanced planning paradigms (e.g., PDDL, HTN planning, Monte Carlo tree search), temporal reasoning, formal verification, or symbolic planning. * Experience with game theory for multi-agent coordination or negotiation protocols. * Familiarity with real-time optimization under hardware/edge constraints. * Background in Battle Management Command and Control (BMC2) or defense applications. ## Description Applied is seeking a Software Engineer with strong foundations in algorithmic optimization and multi-agent systems. You'll tackle complex computational challenges in our real-time decision-making platform, designing and implementing advanced algorithms that push the boundaries of autonomous coordination and planning. We seek motivated engineers driven by core mission values to join our Acuity Autonomous Behaviors and Agents engineering team focused on next-generation human-machine teaming and real-time decision-making systems. You'll help build intelligent agents that plan and execute missions using advanced reasoning, planning, and optimization algorithms. Our work spans real-time scenarios, heterogeneous platforms (air, space, land, surface, sub-surface), and software that integrates seamlessly with human operators. If you thrive in fast-moving, mission-oriented environments and love building autonomy that help our warfighters, this is your role. Your work will support our Axion and Acuity family of systems, enabling breakthrough capabilities in human-machine teaming across all domains. If you're passionate about applying cutting-edge algorithms to solve mission-critical coordination problems, this role offers exceptional opportunities to advance the state of the art in autonomous decision making systems. At Applied Intuition, you will: * Design and implement multi-agent optimization algorithms for distributed decision-making and coordination problems * Develop temporal logic frameworks and constraint-satisfaction algorithms for complex planning scenarios * Create mathematical models for sequential decision process under uncertainty with probabilistic outcomes * Build computational frameworks that balance algorithmic efficiency with human-interpretable reasoning * Implement and evaluate quantitative metrics for algorithm performance, solution quality, and computational efficiency Travel Requirements: * Occasional travel required (approx. 10-20%) for demonstrations, integration, or customer engagement Security Clearance * Must be a U.S. Citizen * Must be eligible for a U.S. SECRET clearance with Special Access Program (SAP) eligibility ## Related Videos - [Docker network without Docker](https://www.wearedevelopers.com/videos/1418-docker-network-without-docker) - [Remote Driving on Plant Grounds with State-of-the-Art Cloud Technologies](https://www.wearedevelopers.com/videos/251-remote-driving-on-plant-grounds-with-state-of-the-art-cloud-technologies) - [Docker Compose: Rediscovered](https://www.wearedevelopers.com/videos/1978-docker-compose-rediscovered) - [Docker exec without Docker](https://www.wearedevelopers.com/videos/1094-docker-exec-without-docker) - [Docker build without Docker](https://www.wearedevelopers.com/videos/100114-docker-build-without-docker) - [Agentic AI: building autonomous systems for developers](https://www.wearedevelopers.com/videos/100034-agentic-ai-building-autonomous-systems-for-developers) ## Related Articles - [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology) - [How We Built a Worry-Free System That Runs for 10+ Years – And What We’d Do Again](https://www.wearedevelopers.com/magazine/751-how-we-built-a-worry-free-system-that-runs-for-10-years-and-what-we-d-do-again) - [What is Agentic Programming and Why Should Developers Care?](https://www.wearedevelopers.com/magazine/625-what-is-agentic-programming-and-why-should-developers-care) - [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated) - [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers) - [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer)