Société: Functori

Description

Functori est une société de R&D créée par des ingénieurs experts en langages de programmation (notamment OCaml), la vérification formelle (raisonnement automatisé, model checking, etc.), et la technologie blockchain (coeur/noyau, smart contracts et développement d'applications). En plus de contribuer à des outils et des bibliothèques en OCaml et pour la communauté OCaml, nous participons au développement de la blockchain Tezos de diverses manières : - développement du coeur/noyau, - construction d'outils et de bibliothèques open-source pour la communauté (comme des indexeurs/crawlers, des bibliothèques pour interagir avec la blockchain Tezos, etc.) - participation au développement de projets innovants pour nos clients, - audit de code pour nos clients, - conseil et formation. Functori a été fondée en 2021 et est basée à Paris (France), avec des personnes travaillant à distance dans le monde entier.

Infos clefs

Effectifs
6 à 9 salariés
Numéro SIREN
894980739
Code NAF
62.01Z - Programmation informatique
Date de création
2021-02-15
Tag line
Functori est une société de R&D créée par des ingénieurs experts en langages de programmation (notamment OCaml), la v...
Cluster(s) d'appartenance
HOS

Solutions et technologies

Etablissements