They do, but it isn't directly for block production. It uses a similar technique of increasing a nonce to create a number with a certain number of leading 0s. However, instead of producing a block with the result of mining, it places you in a queue to produce a block at some point in the future.

That way we leverage the benefits of mining along with the shorter block interval that comes with scheduled block production.