Senior C++ Software Engineer (Collaborative 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 that balance algorithmic efficiency with human-interpretable reasoning.
- Implement and evaluate quantitative metrics for algorithm performance, solution quality, and computational efficiency.
- Develop software for the Axion and Acuity systems supporting 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.
- At least 5 years of hands-on experience developing performant modern C++, using C++20.
- Strong theoretical and practical experience with constraint satisfaction, scheduling, and optimization algorithms.
- Demonstrable ability to analyze, visualize, and optimize 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 and principles.
- 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: an advanced degree in algorithms, computational optimization, or autonomous systems, or 5+ years building autonomous decision systems.
- Preferred: expertise in PDDL, HTN planning, Monte Carlo tree search, temporal reasoning, formal verification, or symbolic planning.
- Preferred: experience with game theory for multi-agent coordination or negotiation protocols.
- Preferred: familiarity with real-time optimization under hardware or edge constraints.
- Preferred: background in Battle Management Command and Control or defense applications.
Benefits
- Primarily in-office work five days per week, with occasional remote-work flexibility.
- Occasional travel of approximately 10–20% for demonstrations, integration, or customer engagement.
- Equity, including options and/or restricted stock units.
- Comprehensive health, dental, vision, life, and disability insurance.
- 401(k) retirement benefits with employer match.
- Learning and wellness stipends.
- Paid time off.