[nextos]

AFAIK, Galois is 100% employee owned: https://www.galois.com/life-at-galois

I know people working both at Galois and Mondragón, and they seem to be relatively similar in spirit.