A sequential Bayesian estimation algorithm for joint positioning and multipath mitigation within satellite navigation receivers is presented. The underlying process model is especially designed for dynamic user scenarios and dynamic channel conditions. To demonstrate its capabilities simulation results are presented.