Thanks 😊

'희망하다' is a Sino-Korean word and '바라다' is a native Korean word. 희망하다 sounds slightly more formal than 바라다.