Dowsers is a unique team of blockchain lovers, experts in formal verification, cybersecurity and artificial intelligence, with decades of experience on automated metro lines software, involving millions of daily users’ lives at stake.
Dowsers develops state-of-the-art technologies for the security and safety of smart contracts and blockchains at scale and solutions to prevent fatal vulnerabilities in code.
Contact: [email protected]