Job Number: R0238418 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