Job Description
📋 Description Design and implement multi-agent optimization for distributed coordination Develop temporal logic frameworks for complex planning scenarios Create mathematical models for sequential decisions under uncertainty Build computational frameworks balancing algorithmic efficiency with interpretable reasoning Implement and evaluate metrics for algorithm performance and quality 🎯 Requirements BS or MS in CS, SWE, robotics, or related field, or 5+ years experience 5+ years hands-on C++ (C++20) experience Strong theory and practical CSP, scheduling, and optimization Analyze and optimize algorithm performance and quality Proficiency with Bazel in Docker-based Linux environments Experience with Docker and containerized development and Linux 🎁 Benefits Health, dental, vision, life and disability insurance 401k with employer match Equity options and/or RSUs Learning and wellness stipends Paid time off Equal opportunity employer and federal contractor status
