Whitepaper
Blog
Open Positions
Pruvendo provides B2B cybersecurity services to clients belonging to the blockchain worldwide.

We secure blockchain since 2019:
— Formal verification of smart contracts
— Advanced audit of smart contracts
— Development of Ursus - Coq embedded language to perform formal verification of solidity smart contracts

We are here not to blame hackers or to help rich people to become more rich, but to help good guys to increase their belief in technology by improving the quality of the products, giving them a way to assess them from the formal point of view.

Currently we don’t have open positions. They will appear later.
Open Positions
Pruvendo provides B2B cybersecurity services to clients belonging to the blockchain worldwide.

We secure blockchain since 2019:
— Formal verification of smart contracts
— Advanced audit of smart contracts
— Development of Ursus - Coq embedded language to perform formal verification of solidity smart contracts

We are here not to blame hackers or to help rich people to become more rich, but to help good guys to increase their belief in technology by improving the quality of the products, giving them a way to assess them from the formal point of view.

Currently we don’t have open positions. They will appear later.