Pruvendo
Pruvendo is a startup, focused on development of the embedded domain specific language Ursus - programming language for the development of secured by design smart contracts and its formal verification. Our services: 1. Smart contracts development 2. Formal verification Our products: Ursus - Coq embedded dsl for smart contract development and formal verification Olympus - tool for online smart contract activity monitoring, designed for tracking blockchains, collecting and analysing data and sending alerts in case of suspicious activity
7-day free trial · no credit card
Verified contacts
10
available on Kipplo
LinkedIn employees
9
11 to 50 range
Open roles
—
no listings
Distinct roles
7
indexed titles
Tech stack
2
tools in use
Monthly traffic
1
organic / mo
Sign up free to see all 10 verified contacts at Pruvendo
Free for 7 days · 50 credits · no card · only pay for verified records.
Decision-makers and verified team members
10 contacts with verified email or phone · masked until revealed.
Showing 1 of 10 verified contacts
Top roles at Pruvendo
7 distinct titles indexed · top 7 shown.
- 2chief technology officer
- 2formal methods engineer
- 2team lead
- 1formal verification engineer
- 1mathematics specialist
- 1strategic partner
- 1специалист по исследованиям и разработкам, specdev spectech
Sign up to unlock all 10 contacts at Pruvendo
Free for 7 days · 50 credits · no card · only pay for verified records.
Sign up to reveal 10 verified contacts at Pruvendo
7-day trial · no credit card · cancel anytime · only pay for verified records.
Trusted by sales, marketing, and GTM engineering teams.