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

Apply on employer's website

This employer gathers applications via their own applicant tracking system.

You will be redirected to an external application form.

Share job

Meet JobCopilot: Your Personal AI Job Hunter

Automatically Apply to Engineering Jobs. Just set your preferences and Job Copilot will do the rest — finding, filtering, and applying while you focus on what matters.

Activate JobCopilot