Have done lots of technical design of optimization algorithms and modeling, in particular branch-and-cut-and-price, dynamic programming, modeling in MiniZinc, MIP reformulations of high-level constraints