Remotely
dockerlinuxltlc++20constraint satisfactioncp satmilppddl
Job Description
📋 Description
- Drive the technical vision, architecture, and roadmap for the Autonomous Behaviors and Agents team
- Lead, mentor, and grow a team of engineers, driving design reviews, setting engineering standards
- Guide the design and implementation of multi-agent optimization algorithms for distributed
- Direct development of temporal logic frameworks and constraint-satisfaction algorithms for complex
- Partner with product, program, and customer-facing stakeholders to translate mission needs into
- Coordinate cross-team integration and de-risk dependencies across the Axion and Acuity system
🎯 Requirements
- MS or PhD in Computer Science, Software Engineering, Robotics, or a related technical field, OR 8+
- 8+ years of hands-on experience developing performant modern C++ (we use C++20), with 2+ years
- Depth in planning foundations and optimization: automated/temporal planning, MILP/CP-SAT, temporal
- Track record of setting technical direction, driving architectural decisions, and delivering
- Strong theoretical and practical experience implementing constraint satisfaction, scheduling, and
- Deep OO programming experience with clean code principles and pragmatic design across a codebase
🎁 Benefits
- Base salary, equity, and comprehensive benefits
- 401k retirement benefits with employer match
- Health, dental, vision, life and disability insurance
- Learning and wellness stipends
- Paid time off
- Other benefits subject to jurisdiction
Back to all jobs