Surprised I'm not seeing Cardano mentioned here.

It has a network of academics working on protocols and R&D and even one of the founders of the Haskell programming language.

IOHK is the company building cardano

https://iohk.io/en/team/philip-wadler

https://iohk.io/team/

PoS consensus protocol https://cardano.org/ouroboros/

They are also one of the few blockchains to use nixos in production

Cardano was founded by Ethereum's co-founder Charles Hoskinson and is a 3rd gen block chain aiming to dethrone Ethereum