sorry I don't have official links, but many people in our company change positions to different teams and nobody filed anything to INS, as long as the job duties don't change much, say he is still a developer but moves to another team, or get promoted from junior to senior.