OCaml jobs in open-source, research, blockchain, fintech, cybersecurity and more
Çağdaş Bozman - CEO of Functori
Description: We help clients innovate through top-tier consulting, prototyping, and R&D, thanks to our blockchains, static languages, and program safety expertise.
blockchain (5741) nft (3835) cybersecurity (2075) big data (1819) defi (989) data analytics (874) smart contracts (201) rollups (82) michelson (11) functori (1)
Our Expertise Functori was founded by like minded engineers and researchers who share the same passion for technological challenge. Blockchains We have more than seven years of experience in blockchains and decentralized applications development.
We take part in the development of public blockchains (in particular Tezos ) and have built open source private blockchain instances with on-demand extensions. This work is complemented by tooling such as block explorers, smart contract languages, IDEs, scenarios and testing tools, etc. We have also built numerous blockchain-based systems and decentralized applications, and developed/reviewed a bunch of sensitive smart contracts.
We have experts in automated reasoning, in computer-aided verification, and in model checking.
OCaml jobs in open-source, research, blockchain, fintech, cybersecurity and more
Çağdaş Bozman - CEO of Functori