Computational Reasoning & Optimization Software Engineer, Lead

Job description

Computational Reasoning & Optimization Software Engineer, Lead The Opportunity: As a software engineer who thinks in constraints, trade-offs, and formal guarantees, you know that the hardest problems aren't solved by faster code alone. They're solved by encoding the right structure so that the right reasoning can happen. You've built systems where solvers evaluate thousands of possibilities and return answers that are provably correct, explainable, and useful to the people who need them. We are building a decision-support platform for the nation's most demanding operational planning challenges, and we're looking for someone like you to architect it from the ground up. As the technical lead on this effort, you'll own the core reasoning and optimization architecture for an integrated product suite. One product automates course of action analysis under uncertainty, turning noisy, incomplete information into structured and constraint-backed planning recommendations. The other enables formal composition of heterogeneous computational models, ensuring that when models from different domains are combined, the result is correct, consistent, and traceable. Together they give planners and op...