Blockchain Developer & C Developer & C++ Developer & Embedded Systems Developer & FPGA Engineer & Rust Developer

Zkušený vývojář v jazyce C++ a matematik s rozsáhlými zkušenostmi s řešením složitých technických problémů. Ovládá jazyky Rust, Python a Isabelle, přičemž se zaměřuje na testově řízený vývoj a psaní přehledného, modulárního kódu. Spolupracoval s předními odborníky v Rakousku a na Slovensku, včetně programátorů, datových vědců a inženýrů. V současné době pracuje na volné noze na osobních projektech, vyučuje informatiku a matematiku a poskytuje poradenství. Nadšený fanoušek Neovimu.

Self-employed / Freelance (06/2023 - present)

• Teaching undergraduate and postgraduate computer science and mathematics, including performance and cache optimization, ARM/x86 assembly, algorithms and data structures, group theory, linear algebra, and advanced courses in statistics and probability theory.
• Preparing students for the International Mathematical Olympiad and International Olympiad in Informatics.
• Conducting online and on-site coding bootcamps and courses focused on enhancing developer productivity.
• Freelancing as a C++ developer and consulting.
• Authoring an open-source project: state0, an Omarchy-like Linux distribution and configuration as code tool (alpha).

C++ developer (08/2020 - 05/2023)

• Developed and maintained real-time low-latency modular distributed hardware control software for the multibeam electron mask writer for 5nm, 3nm, and 2nm semiconductor manufacturing EUV nodes.
• Worked on real-time software control of electrostatic lenses and the air bearing stage used for reticle movement.
• Collaborated closely with hardware design teams designing ASIC and MEMS chips for the mask writer.
• Took part in the design and implementation of internal hardware protocols and distributed code for more than 4 embedded CPU architectures, including x86, ARM, Motorola 68k ColdFire, and proprietary ASIC architectures.
• Introduced Catch2 to the codebase and CI, implemented automated tests using QuickCheck-like property-based probabilistic automated testing methods, and introduced mutation testing, coverage metrics, static analysis, automatic code formatting, and coding style guidelines.

C++ developer (06/2019 - 05/2020)

• Contributed to the development and maintenance of antivirus software for Linux and macOS endpoints and servers.
• Implemented a scan-scheduling feature for Linux servers.
• Improved automated tests and documentation.
• Worked on API adaptations.

Self-employed / Freelance (2017 - 2019)

• Taught more than 800 private lessons and courses for elite university students.
• Covered algorithms, data structures, performance optimization, cache optimization, ARM/x86 assembly, linear algebra, group theory, preparation for IOI and IMO competitions, malware analysis, CI/CD with GitHub Actions, C++ programming, HTML, and JavaScript.
• Managed contractor tutors.

C++ and C# developer (part-time) (09/2012 - 01/2013)

• Implemented a completely new high-reliability banking server in C++.
• Built a thin client for endpoints in C#/Windows Forms for input and processing of bank transactions.
• Worked on software for one of the largest central European banks.