Kirill Valiavin

Professional Summary

▲

Senior software engineer with 8+ years of experience building production-grade systems across the stack, including high-performance distributed systems (Haskell, Rust, Typescript), frontend (TypeScript) as well as lower level systems code (C and assembly). Strong background in domain-driven design, incident response and technical documentation.
Used to on-site, remote and hybrid work. Fluent in English and Russian.

Skills

▲

Programming Languages	Systems & Infrastructure	Practices
Haskell Rust TypeScript / JavaScript Agda, Coq / Rocq C SQL	PostgreSQL Kubernetes Nix Temporal Kafka ArgoCD CircleCI	Technical Writing Project Management Requirements Gathering System Design Domain-Driven Design (DDD) Mentoring / Onboarding

Professional Experience

▲

Software Developer, OnRamp (2022-2026)

Worked on a distributed multi-tenant solution for credit card and crypto payments

Implemented core payment processing logic using Rust and Temporal's durable execution engine
Contributed to system's design and architecture with reviews and proposals
Deployed and managed the solution using Kubernetes and custom controllers
Integrated multiple payment processors and ensured operational stability

Backend Developer, Tinkoff Credit Systems (2020-2022)

Built and maintained a backend service for an API serving search and booking of air tickets at scale

Developed and maintained high-performance API endpoints using Haskell
Designed and executed database migrations across production PostgreSQL schemas
Integrated multiple GDS providers and extended support for ancillary services (baggage, seats, etc.)
Participated in technical hiring (interviewed candidates) and onboarding of new engineers

Team Lead & Developer, Svarta (2019-2020)

Led development of a software platform for collecting and analyzing corporate data

Managed a team of 3 developers, coordinating task planning and milestone delivery
Architected the backend system with a focus on modularity and observability
Developed frontend components using React and RxJS for data visualization
Collaborated directly with stakeholders on requirements gathering

Software Engineer, MultiClet Corporation (2018-2019)

Implemented and optimized the Ethash mining algorithm for a novel custom CPU architecture

Adapted an existing Python/C implementation of Ethash to run on a novel CPU design
Translated the adapted implementation to a bespoke assembly language
Performed thorough testing and benchmarking to verify correctness and quantify performance
Achieved optimal execution on the target architecture

Junior Teaching Assistant, N.N. Krasovskii Institute of Mathematics and Mechanics (Summer 2016)

Taught probability theory to high-school students

Designed engaging probability theory exercises and explained core concepts to students
Taught an optional introductory functional programming class

Education

▲

Ural Federal University, Department of Mathematics and Computer Science (2015-2018)

Completed 2.5 years toward a Bachelor of Science in Mathematics; focus on mathematical foundations and computer science.

Self-directed learning (since 2009)

Continuous since 2009 across software engineering, programming languages and formal methods.

Languages

▲

English: Certified C1 (Advanced)
Russian: Native

GitHub Highlights

▲