Bc. Kirill S. 23 let , životopis 1202786

Fakulta informačních technologií VUT

Informační technologie

září 2022 – červen 2025Bakalářské

Gymnázium

Informatika

2019 – 2021SŠ s maturitou

AS*********.o.

Associate Verification Engineer

červenec 2024 – dosud 1 rok a 10 měsíců

• Designed and implemented a Python-based internal tool integrating IBM DOORS with Cadence vManager. • Replaced file-based workflows with a centralized database-backed solution. • Automated requirement traceability and eliminated manual requirements synchronization across the team. • Improved engineering productivity, saving several hours per engineer month. • Developed and debugged bare-metal firmware in C for low-power embedded systems. • Implemented and optimized embedded software routines for performance and power efficiency. • Developed and implemented simulation based tests and test-benches • Focused on automation and scripting processes. • Assisted in mixed-signal verification using Cadence Xcelium and vManager. • Adopted Real Number Modeling (RNM) in mixed-signal systems verification for accuracy.

Re*********.o.

Software Engineer

únor 2025 – leden 2026 1 rok

• Contributed to libvirt, a C-based virtualization management library used in enterprise Linux environments. • Implemented features for Cloud Hypervisor and QEMU drivers, focusing on VM lifecycle management. • Extended libvirt embedded mode to support networking and storage functionalities. • Developed and delivered new features for virtual network and storage management. • Fixed multiple bugs affecting VM lifecycle and performance in production environments. • Enhanced integration with QEMU for Cloud Hypervisor driver support. • Debugged low-level system issues using GDB and Clang toolchain. • Optimized code for stability, performance, and maintainability. • Collaborated in open-source development, including code reviews and upstream contributions. • Wrote unit and integration tests for new features to ensure reliability.

Další programy a počítačové znalosti

• Programming: Python (advanced), C, C++, C#, Java, SQL • Backend Development: REST APIs, FastAPI, Spring Boot, .NET, API design, data processing • Systems & Virtualization: Linux, KVM, QEMU, libvirt, networking, storage systems • Databases: PostgreSQL, Oracle, SQLite, data modeling, query optimization • DevOps & Cloud: Docker, CI/CD pipelines, Azure DevOps, AWS (basic), build automation • Tools: Git (branching, rebasing, pull requests), GDB, Clang, Make, CMake, Bash, Jira • Concepts: Object-oriented programming (OOP), multithreading, concurrency, software design principles, Agile/Scrum

Mé silné stránky

Ochota učit se

Pracovitost

Samostatnost

Spolehlivost, zodpovědnost

Mohu nabídnout

Logické myšlení

Řešení problémů pomocí kritického myšlení

Schopnost práce v kolektivu a týmové práce