Design-software developer Autodesk Inc. on Thursday said it would cut around 9% of its workforce, or around 1,350 employees, amid a bigger effort to prioritize cloud services and artificial intelligence.