Processing data from Global Navigation Satellite Systems (GNSS) always requires time synchronization between transmitter and receiver clocks. Due to the limited stability of the receiver’s internal oscillator, the offset of the receiver clock with respect to the system time has to be estimated for every observation epoch or eliminated by processing differences between simultaneous observations. If, in contrast, the internal oscillator of the receiver is replaced by a stable atomic clock one can try to model the receiver clock offset, instead of estimating it on an epoch-by-epoch basis. In view of the progress made in the field of high-precision frequency standards we will investigate the technical requirements for GNSS receiver clock modeling at the carrier phase level and analyze its impact on the precision of the position estimates