People can work as much or as little as they want, once they make tenure. It's not that different from the startup model: hard work for a few years up front, then cash in your chips, with 2-3 decades of guaranteed income until government retirement age.