#opentowork #resume #CV #research #blockchain #crypto #developer #it #researcher #senior #lead #solidity #techlead

💁‍♂ Должность
Blockchain developer / Researcher

👨‍💻 Опыт работы
- Больше 2 лет опыта Solidity разработки. В том числе:
-- планирования архитектуры и разработки крупного проекта с нуля
-- применения сложных прокси систем (EIP2535 Diamond)
-- интеграции с zkRollup'ами (StarkNet, zkSync Era)
-- создания бриджей (LayerZero)
-- организации интеграции блокчейн инфраструктуры для команд веб и Unity разработчиков

- 4 года исследований в области математического моделирования блокчейнов и языков программирования (formal verification, model checking, ConCert, λRust, VerKer)

- Опыт аудита проектов на Rust (Solana) и C++ (TON/Everscale)

- Около года делал технический анализ различных проектов для команды инвестиционных аналитиков крупного криптофонда

👨‍🎓 Образование
МехМат МГУ, отделение математики, высшая логика и верификация программ

📍Тбилиси, Remote, готов рассмотреть релокацию на Кипр

🇺🇸 Fluent English
🇷🇺 Native Russian

Мой LinkedIn