PhD Position in Generating Cutting Planes by Exploiting Symmetry