Take a look at the Thinkpad P14s - I don't think they offer a 4k screen but apart from that I believe it ticks all your boxes. I'm running Fedora 33 on mine and it's brilliant.