We would do a ranking of all the candidates, giving top candidate one point and then going through the whole range. If it gets down to a tie, those can be voted on separately.
May I clarify? Colleagues give their top candidate 1, their second choice 2, their third 3, and so on. Then all these numbers are tallied. Then the person with the lowest score is No. 1, second lowest, No. 2, etc. Is this right?
Yes, exactly right. If a tie resulted that way, we would have a tie-breaking vote. I suppose if we got a tie again, we'd have to keep arguing about the relative merits of the candidates again. But that doesn't really seem to happen much.