The superconducting proximity effect is probed experimentally in Josephson junctions fabricated with InAs nanowires contacted by Nb leads. Contact transparencies [Formula: see text] are observed. The electronic phase coherence length at low temperatures exceeds the channel length. However, the elastic scattering length is a few times shorter than the channel length. Electrical measurements reveal two regimes of quantum transport: (i) the Josephson regime, characterised by a dissipationless current up to ∼100 nA, and (ii) the quantum dot (QD) regime, characterised by the formation of Andreev bound states (ABS) associated with spontaneous QDs inside the nanowire channel. In regime (i), the behaviour of the critical current I versus an axial magnetic field [Formula: see text] shows an unexpected modulation and persistence to fields [Formula: see text] T. In the QD regime, the ABS are modelled as the current-biased solutions of an Anderson-type model. The applicability of devices in both transport regimes to Majorana fermion experiments is discussed.