I heard somewhere (Agorist Radio podcast, I think) that the total Bitcoin network power has surpassed the total power of the top 50(?) super computers in the world. That was an amazing figure to hear.
It would be nice if someone could add a page to the Bitcoin wiki that lists the top 50 (or whatever) Bitcoin mining rigs. And a list of the top mining pools.
I imagine that those employees that are using company assets to mine won't have any serious problem, unless a boss or administrator A) finds Bitcoin running on company computers and B) knows the market value of bitcoins and C) knows how much BTC the employees have mined. A+B+C could result in a lawsuit to get the Bitcoins or getting fired; A results in a slap on wrist. I would recommend getting to know the administrator/boss in question and then get him/her to use the idle cycles of company computers. OTOH, if the state owns the computers and you can access then anonymously...