👋🏻 Bio
active 1 hour ago
Actively looking
I’m a senior software engineer with a background in Rust, systems programming, WebAssembly runtimes, blockchain infrastructure, compilers, and backend systems. I studied Computer Science at Oxford and Cambridge, and have worked on technically complex infrastructure at DFINITY and Fuel Labs, including WebAssembly runtime memory systems, persistent heaps, blockchain indexing, ABI decoding, procedural macros, Postgres persistence, and developer tooling.
My strongest work is in systems where correctness, reliability, performance, and long-term maintainability matter. I’m especially interested in crypto infrastructure that connects to real usage: indexing, protocol-adjacent systems, Solana/Rust infrastructure, payments, stablecoins, trading systems, and developer platforms.
What makes me different is that I combine low-level systems experience with a strong interest in how complex systems behave under uncertainty. I like work where the engineering is close to the real structure of the domain — markets, protocols, ledgers, runtimes, and data flows — rather than surface-level application code. I’m looking for a role where I can contribute deep technical judgment, ownership, and careful architecture to serious crypto infrastructure.
Current Location: Barcelona
Languages: English, Polish
My strongest work is in systems where correctness, reliability, performance, and long-term maintainability matter. I’m especially interested in crypto infrastructure that connects to real usage: indexing, protocol-adjacent systems, Solana/Rust infrastructure, payments, stablecoins, trading systems, and developer platforms.
What makes me different is that I combine low-level systems experience with a strong interest in how complex systems behave under uncertainty. I like work where the engineering is close to the real structure of the domain — markets, protocols, ledgers, runtimes, and data flows — rather than surface-level application code. I’m looking for a role where I can contribute deep technical judgment, ownership, and careful architecture to serious crypto infrastructure.
Skills:
Python
Rust
SQL
Docker
Go
💼 Experience
Senior Software Engineer
Fuel Labs
Rust
SQL
Go
Docker
Postgres
● Contributed to fuel-indexer, a Rust-based blockchain indexing framework for Fuel,
working across procedural macros, WASM execution, Fuel/Sway ABI decoding,
GraphQL-derived entity models, Postgres persistence, and async indexing services.
● Simplified the developer experience for writing Fuel indexers by hiding low-level block
traversal, transaction/receipt decoding, runtime integration, and persistence behind typed
Rust APIs.
● Helped maintain a complex developer-facing indexing stack involving Rust handler
functions, generated WASM modules, Fuel blockchain data models, schema generation,
and database integration.
working across procedural macros, WASM execution, Fuel/Sway ABI decoding,
GraphQL-derived entity models, Postgres persistence, and async indexing services.
● Simplified the developer experience for writing Fuel indexers by hiding low-level block
traversal, transaction/receipt decoding, runtime integration, and persistence behind typed
Rust APIs.
● Helped maintain a complex developer-facing indexing stack involving Rust handler
functions, generated WASM modules, Fuel blockchain data models, schema generation,
and database integration.
Senior Software Engineer
DFINITY Stiftung
Rust
Docker
Kubernetes
Linux
Webassembly
● Designed and implemented parts of the memory model for WebAssembly canisters
running on the Internet Computer, including persistent heap behavior.
● Engineered the Internet Computer Hypervisor, the runtime component responsible for
scheduling and executing WebAssembly canister code.
● Implemented page-level memory tracking using mprotect/SIGSEGV to support efficient
persistence of WebAssembly memory.
● Compiled Rust and C to WebAssembly using LLVM and built SDK/tooling support for
writing Internet Computer programs.
● Operated at the boundary between WebAssembly execution, runtime memory
management, persistence, and developer tooling.
running on the Internet Computer, including persistent heap behavior.
● Engineered the Internet Computer Hypervisor, the runtime component responsible for
scheduling and executing WebAssembly canister code.
● Implemented page-level memory tracking using mprotect/SIGSEGV to support efficient
persistence of WebAssembly memory.
● Compiled Rust and C to WebAssembly using LLVM and built SDK/tooling support for
writing Internet Computer programs.
● Operated at the boundary between WebAssembly execution, runtime memory
management, persistence, and developer tooling.
Software Engineer
Fugue Inc.
Python
Haskell
Go
AWS
Docker
● Designed and implemented core parts of Ludwig, a domain-specific programming
language for cloud infrastructure orchestration, including static typing, extensible records,
and algebraic data types.
● Built compiler components that transformed user-written Ludwig programs into an
intermediate representation consumed by Fugue’s backend systems.
● Evaluated typed Ludwig programs into stable graph representations of cloud-resource
dependencies.
● Helped implement infrastructure logic for creating, updating, and destroying cloud
resources such as AWS compute instances and S3 buckets.
● Built developer tooling for Ludwig, including Language Server Protocol (LSP) support and
IDE integration.
language for cloud infrastructure orchestration, including static typing, extensible records,
and algebraic data types.
● Built compiler components that transformed user-written Ludwig programs into an
intermediate representation consumed by Fugue’s backend systems.
● Evaluated typed Ludwig programs into stable graph representations of cloud-resource
dependencies.
● Helped implement infrastructure logic for creating, updating, and destroying cloud
resources such as AWS compute instances and S3 buckets.
● Built developer tooling for Ludwig, including Language Server Protocol (LSP) support and
IDE integration.
Software Engineer
Standard Chartered Bank
Haskell
Linux
● Designed and implemented pricing, trading, risk-management, and market-data software
for commodities, foreign exchange, and interest-rate trading desks.
● Built domain-specific languages and tooling for trading scenario simulation, risk/P&L
reporting, and structured-product workflows.
● Engineered Monte Carlo-based trading scenario simulation and report generation
systems.
● Contributed to Mu, Standard Chartered’s in-house compiler for a typed functional
programming language.
● Ensured correctness, reliability, and risk visibility in a highly critical production financial
environment.
for commodities, foreign exchange, and interest-rate trading desks.
● Built domain-specific languages and tooling for trading scenario simulation, risk/P&L
reporting, and structured-product workflows.
● Engineered Monte Carlo-based trading scenario simulation and report generation
systems.
● Contributed to Mu, Standard Chartered’s in-house compiler for a typed functional
programming language.
● Ensured correctness, reliability, and risk visibility in a highly critical production financial
environment.
🎓 Education & Certificates
Master’s Degree, Advanced Computer Science
By Advanced Computer Science | University of Cambridge (Darwin College)
● Focus Areas: Programming languages, type theory, category theory, rewriting theory,
concurrency, semantics, and embedded systems.
● Projects: Generic Programming with Fixed-points for Nested Data Types; BlueReduceron
(Implementing the Reduceron graph-reduction machine in Bluespec SystemVerilog).
concurrency, semantics, and embedded systems.
● Projects: Generic Programming with Fixed-points for Nested Data Types; BlueReduceron
(Implementing the Reduceron graph-reduction machine in Bluespec SystemVerilog).
Bachelor’s Degree, Computer Science
By University of Oxford (Oriel College)
● Focus Areas: Algorithms, complexity, logic, compilers, programming languages, machine
learning, operating systems, networks, concurrency, architecture, and security.
● Project: Byte-code compiler for Geomlab (compiler and virtual machine for a minimal
functional programming language with dynamic binding of the global environment).
learning, operating systems, networks, concurrency, architecture, and security.
● Project: Byte-code compiler for Geomlab (compiler and virtual machine for a minimal
functional programming language with dynamic binding of the global environment).
Link Copied
