I 1952 ble Michelsen høyesterettsadvokat, og i perioden fra 1958 til 1961 var han lagdommer ved Hålogaland lagmannsrett. Fra 1962 og frem til 1972 var han selv regjeringsadvokat etter Henning Bødtker, før han fra 1972 og frem til 1990 fungerte som høyesterettsdommer.