Role shape: Own and advance Kyber's allocation solver beyond the CP-SAT baseline: more constraints, faster and more stable re-solves, and objectives informed by learned models rather than hand-encoded rules. Environment: Python, CP-SAT and OR-Tools, MIP and metaheuristics, incremental re-optimisation, benchmarking on live station data, Postgres, AWS, close work with the machine learning role. Experience: Minimum three years in applied optimisation or operations research. Practical reality: direct customer contact, time in live operations starting on the airport ramp, coding credits, London-based, remote only by exception, UK work authorization preferred.