If he worked legally with the company (signed an employment contract and had a working permit) yes he can claim for gratuity but if not, he do not have right to claim for gratuity.