I forgot to add, since his SSN card was issued I think there is a way he can look it up online and get the number. If he gives the employer his SSN number and his green card (or that temporary stamp in his passport) that should work for employment. I’m pretty sure permanent residents don’t get I94s so he will never have one.