Lots of bigger workplaces actually have some sort of private organisation you can basically vent to and ask advice from, so that might be a good idea place to start. The whole point of these is that they’re totally anonymous, so you basically cannot get any blowback from talking to them.

You can also speak to your boss if you have a good relationship with them. Just explain as neutrally as possible that you’re finding it a little difficult to work with this particular co-worker. You don’t need to ask them to do anything specific, just be honest that it’s difficult. They might be able to either bring it up with your co-worker (keeping you anonymous, of course), that other people are finding their behaviour offputting, or just arrange it so that you don’t have to work together.