Senior C++ Software Engineer (Defense Autonomy)
Applied Intuitionabout 1 month ago
Base Salary
$150k - $250k/yr
Responsibilities
- Design and implement multi-agent optimization algorithms for distributed decision-making and coordination.
- Develop temporal logic frameworks and constraint-satisfaction algorithms for complex planning scenarios.
- Create mathematical models for sequential decision processes under uncertainty and probabilistic outcomes.
- Build computational frameworks balancing algorithmic efficiency with human-interpretable reasoning.
- Implement and evaluate quantitative metrics for algorithm performance, solution quality, and computational efficiency.
- Support Axion and Acuity systems for human-machine teaming and real-time decision-making across heterogeneous platforms.
Requirements
- 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++.
- Strong theoretical and practical experience with constraint satisfaction, scheduling, and optimization algorithms.
- Experience analyzing, visualizing, and optimizing algorithm performance and solution quality.
- Proficiency with Bazel in Docker-based Linux environments.
- Strong procedural and object-oriented programming experience using clean code principles and sound object-oriented design patterns.
- Experience with Docker, containerized development environments, and Linux-based operating systems such as RHEL or Ubuntu.
- Understanding of service-oriented architecture and message broker versus data broker paradigms.
- Ability to translate complex mathematical concepts into technical documentation and communicate complex software designs.
- U.S. citizenship and eligibility for a U.S. SECRET clearance with Special Access Program eligibility.
- Preferred qualifications include an advanced degree or 5+ years building autonomous decision systems.
- Preferred experience includes PDDL, HTN planning, Monte Carlo tree search, temporal reasoning, formal verification, symbolic planning, game theory, negotiation protocols, real-time optimization under hardware or edge constraints, and BMC2 or defense applications.
Benefits
- In-office work is expected 5 days per week, with occasional remote-work flexibility.
- Occasional travel of approximately 10–20% is required for demonstrations, integration, or customer engagement.
- Benefits include equity, health, dental, vision, life and disability insurance, 401(k) with employer match, learning and wellness stipends, and paid time off.
- U.S. citizenship and eligibility for a U.S. SECRET clearance with Special Access Program eligibility are required.