How many employees are at Vertex?

Could you please provide some clarification on the number of employees currently working at Vertex? Are they a small, medium, or large-sized company? Are there any recent changes to their workforce that would impact the number of employees? It would be greatly appreciated if you could give a rough estimate or an exact figure, if available. Thank you for your time and assistance.