# Pruvendo jobs and careers

> 0 open roles at Pruvendo as of October 23, 2026. Source: https://www.thejobsmap.com/company/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

## Key facts

| | |
|---|---|
| Open roles | 0 |
| Employees | 1 to 10 |
| Website | https://pruvendo.com |

## Leadership

- Andrey Lyashin, Co-Founder

## Common questions

### Is Pruvendo hiring right now?

Pruvendo has no open roles listed as of October 23, 2026. Roles appear here as soon as they are posted on Pruvendo's careers site.

### Who leads Pruvendo?

Andrey Lyashin, Co-Founder, is at the top of Pruvendo's org chart.

### How do I apply for a job at Pruvendo?

Pick a role on Pruvendo's TheJobsMap page and select Apply. Every listing links to the original posting on Pruvendo's own careers site, so you apply directly with the employer.