Several of the lead architects behind the Tezos project have formed a new research and development company called Nomadic Labs.

Nomadic Labs research and develop products and services in various domains of computer science, namely distributed, decentralized, and formally verified systems.