What form do we use if my son worked for a company in the UK and doesn't have a tin number?

I guess he was considered self employed? The company isn't sending him any paperwork, so not sure what form to use.