Neither filing jointly nor separately, since he cannot file taxes, there is no filing jointly; he doesn’t have an SS#. The way to do it is to file as head of household; that will make her head of household.
She has to pay more taxes, but it will do the “married” part. And yes, she can amend the taxes anytime, even when he arives in the US.