He's actually one of my best friends, I've known him for more than 20 years, and used to work with him in the same bank.
The job he does does not involve accessing people's bank accounts, and, yes, if he were to be authorised to work from home, the bank's IT dept would obviously set it all up for him.
The question was more for my own benefit, and perhaps I should have generalised it, rather than posing a specific scenario, but I was merely asking how one would set up their home PC to utilise their company network, in order to work from home.
I think Clive has probably given the answer.