Math PhD with research in foundations of math. Currently DevOps and burnt out from it.