Actually the figure seems about right for the cost to the company. Adding in training, pensions, employer taxes, associated administration costs etc then an employer cost of about a 25% mark up on gross salary seems about right.
Taking your figure if 10K as net after 50% individual taxes, that makes a gross around 20K - so the overall cost the company would be around 25K - or around 300K per year.