The executive is one of two high-profile female presidents who are leaving Microsoft, according to an internal memo and public posts.