The solution to the problem of time in quantum gravity also solves the time of arrival problem in quantum mechanics

We introduced with coauthors some years ago a solution to the problem of time in quantum gravity which consists in formulating the quantum theory in terms of real clocks. It combines Page and Wootters' relational proposal with Rovelli's evolving constants of the motion. Time is associated with an operator and not a classical parameter. We show here that this construction provides a natural solution to the time of arrival problem in quantum mechanics and leads to a well defined time-energy uncertainty relation for the clocks.