Walmart Inc. Chief Technology Officer Jeremy King is leaving the company, according to an internal company memo, even as the retailer races to transform its e-commerce business and close the gap with rival Amazon.com Inc.