[randomizedalgs]

For perspective, in the same time period, The number of employees at Google multiplied by five. It seems likely that the number of highly educated positions, in general, increased by quite a bit during that time.