I suppose that at any boundary point, there are bound to be these sorts of situations occurring. The post-doctoral leave to remain would be in addition, perhaps, to a university degree.
There would be an additional application, so indeed it would be allowable because they would not be permanently resident here in the UK. That is a correct analysis of the situation and the noble Baroness, Lady Williams, is absolutely right in pointing that out.