Acutually there are two ways they can do this. If it is paid with your regular wages, it will be taxed as ordinary income based on the IRS tax withholding tables.
If it is paid on a separate check it will be taxed 25%.
Everyone settles up at tax time in April.
Why Your Bonus Is Taxed So High - Business Insider