Lead Software Engineer, Combinatorial Optimization

Confirmed live in the last 24 hours

Divergent

Torrance, California, United States; US - Remote

Remote

Posted March 30, 2026

Job Description

Divergent is a technology company that has architected, invented, built, and commercialized an end-to-end factory system called the Divergent Adaptive Production System (DAPS) that comprehensively uses machine learning to optimally engineer, additively manufacture, and flexibly assemble complex integrated vehicle structures and subsystems. Products created using DAPS are superior in performance, lower in cost, rapidly customizable to meet mission and customer-specific requirements, faster to market, and scalable on demand to high volume production. Divergent is a qualified Tier 1 supplier to global automotive OEMs, and Divergent is now expanding to support mission critical needs in the Aerospace and Defense sector. Join us to be a part of this transformative journey, where your impact will shape the future of technology and production.

Purpose

We are seeking a Lead Software Engineer, Combinatorial Optimization with a strong background and hands-on experience using the latest technologies in task planning and scheduling. You will be working on designing, developing, and deploying software leveraging state‑of‑the‑art decision‑making technologies (SAT/SMT solvers, constraint programming, combinatorial optimization, and planning). You will be participating in an end-to-end solution that includes system and infrastructure design, algorithm development, and production deployment. This role will be key to building AI-powered applications for robotics and manufacturing that improve process efficiency and product quality at Divergent.

The Role

Design, develop, and deploy innovative planning algorithms using the latest task planning and scheduling techniques.
Collaborate with cross-functional teams to integrate and optimize planning solutions into products and processes.
Determine the system design and deployment architecture for software pipeline.

Basic Qualifications

Bachelor’s or Master’s in Computer Science or related field with 3+ years of experience.
Advanced programming skills in Python and C++.
Proven experience with SAT/SMT solving, combinatorial optimization, and constraint programming.
AI planning, scheduling, and task planning proficiency using PDDL, heuristic/temporal planners and more.
Hands-on with libraries such as Z3, MiniSat, OR-tools, etc.
Hands-on with Git/CI-CD pipelines and containerization (Docker, Kubernetes).
Expertise in unit-testing and debugging.
Excellent analytical, problem-solving, communication, and collaboration skills.
Knowledgeable about system design and infrastructure architecture.