Vates is a French software company specializing in Open Source and virtualization. It operates in an international environment with a fully remote model, offering flexibility with offices in Grenoble or Paris. The role centers on improving
Formel AI offers a founding role at the intersection of AI and formal methods. Join us in building trustworthy LLMs that never hallucinate and cost less to run. About The Role We are looking for an
About Nomadic Labs The Tezos blockchain is a decentralized ledger that redefines the meaning of holding and exchanging assets in a digital, connected world. Its key value proposition is to be self-amendable: contrary to other blockchains,