#Резюме #TechLead #HeadOfEngineering #Developer #Golang #Solidity

Ищу работу на позиции Tech Lead / Head of Engineering

Более 10 лет в разработке и управлении инженерными командами. Специализируюсь на распределённых системах, блокчейн-инфраструктуре и формальной верификации. Совмещаю глубокую техническую экспертизу с опытом построения команд и продуктов.

▪️Опыт:
▫️CTO/Tech Lead в GetBlock (2019–2024): построил инфраструктуру провайдера нод с 0 до 50+ блокчейн-протоколов и 50 млрд запросов в месяц. Управлял командой 8–12 инженеров.
▫️Security Researcher (2024–н.в.): формальная верификация DeFI-протоклов (Certora, Halmos), моделирование систем (TLA+, Quint, Alloy), разработка RAG-агента для генерации спецификаций.

▪️Стек: Golang, Python, Solidity, AWS, HashiCorp Stack, Terraform, Ansible, микросервисы, serverless, event-driven архитектура, формальная верификация.

▪️Обо мне:
▫️Строю надёжные распределённые системы и команды для их поддержки.
▫️Фокус на архитектуре, безопасности и масштабируемости.
▫️Верифицирую идеи на этапе design-doc до начала разработки.

▪️ Полное резюме — по запросу.

Контакты: @froggrog

Blockchain Hunter: @workingincrypto