These are ones selected by their companies for various reasons, or those on public registers. IBM will not tell you about every individual they employ.
Then let's look at some mining companies that have actually shipped miners (even if they've had some difficulties).