Top cities for digitalization jobs in the ship equipment supply, product and services sector in the three months ending October