I have a Comp Eng degree from the 90s, been in the industry since then (~25 years), and I have never heard of Paxos. Even the top results from a Google search yields that Paxos is one of: 1. a blockchain company, or 2. a Greek island. More than halfway down the page there is mention of an algorithm of some kind. Probably not a good example of "baseline knowledge" for a software engineer.