Yury Syrovetsky

May 2025 — Aug 2025
(3 months)

Technical Lead at Input-Output Global, remote

Short-term contract. As a head of a team of 2 senior engineers, participated in design of Cardano Leios protocol and CIP, analyzing impact of various decisions onto Cardano core components and ecosystem. Proposed several improvements to the protocol. Gathered and analyzed feedback from the community.

The client received the impact report for several protocol design variants and decided on the final design.

Tools & Technologies: Cardano blockchain, Haskell

Oct 2024 — Apr 2025
(7 months)

Software Engineerfreelance and short-time contracts, remote

One of the projects (3 months) was development of trading strategies on the Solana blockchain and integration of various services via HTTP and Protobuf API on the backend.

I've successfully created and deployed a trading strategy service with database storage, logging and monitoring.

Tools & Technologies: Rust (serde, tokio), Solana blockchain (accounts, transactions, Anchor), also Clickhouse, Grafana, Postgres, Prometheus

Oct 2023 — Sep 2024
(1 year)

Software Engineer at SQream, remote

Working as an engineer in support of the SQream GPU-powered database engine. Fixing various bugs in C++ engine, Haskell query compiler and CUDA kernels.

I've fixed a lot of bugs and unexpected slowdowns, increasing customer satisfaction and the company's income.

Tools & Technologies: C++, Haskell, CUDA (GPU)

Jun 2022 — Oct 2023
(1⅓ year)

freelance and short-time contracts, remote

Lead developer of internal system of issue tracking and decision making for a large DAO. Web backend + frontend. Stellar blockchain integration for automatic payment processing and access management. Telegram integration for control via chat. Tooling to mint and trade NFT representing real estate ownership.

Various Python and Haskell projects.

Short-term contract with Generation Lambda. Built an automated NFT distribution service on Cardano network.

Tools & Technologies: C++, ClickHouse, Docker, Ed25519 cryptography, Haskell (Servant, Yesod), HTTP, Java, JSON, Python, Scala, Sqlite, Stellar blockchain, Telegram API, YTsaurus

Feb 2021 — May 2022
(1⅓ year)

Software Engineer at Input-Output Global, remote

Cardano blockchain node development. Implemented some features for the Alonzo era.

Tools & Technologies: Cardano blockchain (API, CLI, node), CBOR, Haskell, JSON

Sep 2020 — Mar 2021
(7 months)

Haskell teacher at Higher School of Economics

Teaching programming in Haskell to 1—4th year students.

Mar 2020 — Dec 2020
(9 months)

Software Engineer at Yandex

Writing Java in Yandex.Disk cloud core.

Implemented cross-service file metadata synchronization machinery.

Working on a CRDT-based application state synchronization framework.

Tools & Technologies: ClickHouse, HTTP, Java, JSON, PostgreSQL, Python

Feb 2016 — Mar 2020
(4 years)

Software Engineer, then Senior Software Engineer at Kaspersky Lab

As a Kaspersky OS and Kaspersky Security System development team member, I design DSLs, implement security configuration compiler and various security policies (including object-capability model), using Haskell for high-level logic and generating code in C.

Tools & Technologies: C (kernel level, hard realtime, lock-free data), Haskell (Ivory, Megaparsec)

Dec 2011 — Feb 2016
(4 years)

Software Engineer at Yandex

I was a backend developer of the keyword statistics service Wordstat.yandex.com and several internal Yandex services.

Wordstat is a search-oriented database capable of scanning over 1 billion records at a user request.

I worked with computer linguistics.

I developed microservices using HTTP JSON-API.

My software successfully stands year-to-year growing data and user traffic.

One microservice rewritten by me from Python to C++, got about 10 times boost in maximum request load.

Another one got 1.5 times decrease in memory consumption without a visible performance penalty after introducing internal compression.

I gave talks at the company's local meetups (internal and public) events.yandex.ru

Tools & Technologies: Apache Thrift, BerkeleyDB, BitTorrent, C++, Cap'n'proto, Cython, Map/Reduce, PostgreSQL, Python, Yandex.Tank

Nov 2006 — Oct 2011
(5 years)

Engineer, then Team Lead & Architect at Institute of Information Technologies

I was the lead developer in 3-people team working on multi-component data transfer and processing system.

I've been working on design and code, program and user documentation, deploy and customer support.

During the development process, I designed and implemented software components using C, C++ and Python languages, and Qt GUI framework. I used static and dynamic program analysis tools to detect and fix bugs such as memory leaks.

In my department (~20 people), I introduced usage of source control tools, issue management, common knowledge system (wiki).

Tools & Technologies: C, C++, Linux kernel, Python, Qt, Windows API, XML