Senior C++ Software Engineer

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 that balance algorithmic efficiency with human-interpretable reasoning.
• Implement and evaluate quantitative metrics for algorithm performance, solution quality, and computational efficiency.

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++ (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.
• 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.
• Must be a U.S. Citizen.
• Must be eligible for a U.S. SECRET clearance with Special Access Program (SAP) eligibility.
• Occasional travel required (approx. 10–20%) for demonstrations, integration, or customer engagement.

Nice-to-Haves

• 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.

Compensation

• Base salary range: $150,000 to $200,000 USD annually (for the listed location).
• Total compensation package may also include equity, comprehensive health/dental/vision/life/disability insurance, 401k with employer match, learning and wellness stipends, and paid time off.