Tech Stack

Description

You will design and implement multi-agent optimization algorithms and temporal logic frameworks for real-time decision-making systems, enabling autonomous coordination and planning for defense applications. You'll translate theoretical approaches into production-ready software and collaborate with cross-disciplinary teams.

Requirements

• BS or MS in CS, Software Engineering, Robotics, or related field, OR 5+ years professional experience developing intelligent agents or planning systems
• 5+ years hands-on experience developing performant modern C++ (C++20)
• Strong theoretical understanding and practical experience implementing algorithms for constraint satisfaction, scheduling, and optimization
• Proficiency with Bazel in Docker-based Linux environments
• Experience with Service-oriented Architecture and message broker/data broker paradigms

Responsibilities

• 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 processes under uncertainty with 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