Autodesk says it’s cutting 9% of its workforce, and shares jump

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.