Senior C++ Software Engineer (Collaborative Autonomy)

Design and implement multi-agent optimization and planning algorithms for real-time autonomous decision-making systems that support human-machine teaming. Build temporal logic, constraint-satisfaction, and sequential decision models under uncertainty, and create efficient computational frameworks with human-interpretable reasoning. Measure algorithm performance and solution quality, using modern C++ and containerized Linux tooling, to advance next-generation autonomy for Axion and Acuity systems.