Senior C++ Software Engineer (defense Autonomy)

Applied Intuition Applied Intuition · Robotics · Ann Arbor, MI +1 · Government

Senior C++ Software Engineer for a defense autonomy company, focusing on designing and implementing algorithms for multi-agent systems, real-time decision-making, and autonomous coordination. The role involves building intelligent agents for mission planning and execution, requiring strong C++ skills and experience with constraint satisfaction, scheduling, and optimization algorithms.

What you'd actually do

  1. Design and implement multi-agent optimization algorithms for distributed decision-making and coordination problems
  2. Develop temporal logic frameworks and constraint-satisfaction algorithms for complex planning scenarios
  3. Create mathematical models for sequential decision process under uncertainty with probabilistic outcomes
  4. Build computational frameworks that balance algorithmic efficiency with human-interpretable reasoning
  5. Implement and evaluate quantitative metrics for algorithm performance, solution quality, and computational efficiency

Skills

Required

  • C++ 20
  • constraint satisfaction
  • scheduling
  • optimization problems
  • algorithm performance analysis
  • solution quality analysis
  • computational efficiency analysis
  • Bazel
  • Docker
  • Linux
  • Service-oriented Architecture
  • message broker
  • data broker
  • git
  • Visual Studio Code
  • GitLab
  • SonarQube
  • Artifactory
  • Azure Container registry
  • technical documentation
  • critical thinking
  • algorithm development
  • algorithm validation
  • analytical skills
  • communication skills
  • collaboration

Nice to have

  • MS+ in algorithms, computational optimization, or autonomous systems
  • PDDL
  • HTN planning
  • Monte Carlo tree search
  • temporal reasoning
  • formal verification
  • symbolic planning
  • game theory for multi-agent coordination

What the JD emphasized

  • strong foundations in algorithmic optimization and multi-agent systems
  • advanced algorithms that push the boundaries of autonomous coordination and planning
  • intelligent agents that plan and execute missions using advanced reasoning, planning, and optimization algorithms
  • mission-critical coordination problems
  • state of the art in autonomous decision making systems
  • strong theoretical understanding and practical experience implementing algorithms for constraint satisfaction, scheduling, and optimization problems
  • analyzing, visualizing, and optimizing algorithm performance and solution quality
  • translate theoretical approaches into production-ready software implementations
  • rigorous testing methodologies
  • refine algorithmic approaches based on empirical evaluation
  • U.S. Citizen
  • eligible for a U.S. SECRET clearance with Special Access Program (SAP) eligibility

Other signals

  • multi-agent systems
  • autonomous coordination
  • real-time decision-making
  • human-machine teaming