FACTORIO!

This game just recently came on to steam, it is all about building automated factories, expanding them and defending them against alien bug monsters. I think given seans love of math that he would have a ton of fun optimizing his factories for maximum efficiency!