Jerry Gray, the Redskins’ secondary coach and someone who interviewed for the head-coaching job earlier this season, is formally interviewing for the defensive coordinator position Tuesday, according to a source with knowledge of the situation.