01/Work

Work.

Roles, responsibilities and selected public work.

01 Current

Independent work

Agentic Engineering

Building with AI agents, Rust, SRE practices and small personal tools that improve how I work and understand systems.

Develop practical agents for research, monitoring, diagnostics and technical workflows.
Build and operate personal services, automations and gadgets as one connected engineering practice.

02 Jan 2025–now

Czech Technical University in Prague

Built and lead a practical R&D group connecting university teaching, student talent, applied research and real software delivery.

Established a blockchain course taught annually to 20 students, alongside mentoring, workshops and hackathons.
Supervise bachelor’s and master’s theses on smart contract security, DeFi, zero-knowledge proofs and blockchain infrastructure.
Lead the team developing Cushion Finance, a liquidation-protection protocol across EVM and Solana. The EVM work integrates Aave with ERC-4626 vaults, borrower loan wrappers and off-chain keepers that inject collateral.
Established collaborations with people from Ethereum Foundation, World Foundation, EY, TUM/Flashbots, PWN, ETH Prague and the European Ethereum Institute.
Work on Agentic Engineering, SRE and node operations alongside blockchain and research projects.

03 May 2024–Aug 2026

DEUSS

Led smart contract development for an EU-funded infrastructure for SME bond issuance, lifecycle management and secondary trading.

Designed protocol architecture around ERC-6909 assets, registries, company wallets, marketplace, orderbook and escrow flows.
Connected technical decisions with product, business, legal, regulatory and integration requirements.
Developed IDA, an internal monitoring agent supporting market-abuse detection for DEUSS.
The bond-platform audit scope covered 46 files and 4,969 non-comment source lines.
Led security preparation, testing, fuzzing and audit work across the smart contract system through August 2026.
The CODESPECT engagement combined a private audit, Echidna invariant testing and a SpecSiege contest with 31 participating researchers, followed by per-finding fix verification.
Across the bond platform and a separate account-abstraction codebase, the final report recorded 71 findings and observations: 66 fixed, 5 acknowledged with documented justification, and none unresolved.

04 Oct–Dec 2024

Perimeter / Berachain

Contributed as 0xharold to defensive fuzzing work for Berachain Proof of Liquidity.

Worked with stateful smart contract fuzzing using Echidna and Medusa.
Helped transform protocol invariants into reusable fuzzing scaffolding, covering BeraChef, BGTStaker and FeeCollector.
The overall team campaign exercised 142 invariants across more than 1.21 billion calls.

05 May 2022–May 2024

The MAMA AI

Moved deeply into the EVM while building applied AI, security and backend products.

Built Concor, a Python/FastAPI prototype for ML-assisted smart contract vulnerability detection, including contract collection, bytecode extraction and opcode disassembly.
Developed an LLM-assisted agent for generating smart contract fuzzing campaigns with Echidna.
Worked on enterprise chatbots, data platforms, backend optimisation and an NFT application prototype.

06 Jun 2019–Jan 2022

Innovation Path

Designed, built, tested and documented automation for repetitive enterprise workflows.

07 Jan 2017–Apr 2022

PVK / Veolia

Helped commission and operate a major new wastewater treatment plant in Prague.

Served as deputy to the operations manager through construction, commissioning and trial operation.
Worked on process optimisation, operational analysis, automation and energy efficiency.
Was selected for an international Veolia talent programme.