Jakub Kopański
Formal Verification Engineer
Warsaw, Masovian Voivodeship, Poland
Summary
👤
Senior🎓
Top SchoolJakub Kopański is a Formal Verification Engineer based in Warsaw with 15 years of experience building robust software and hardware systems across functional programming, frontend frameworks, and analog IC design. He has transitioned from designing low-noise bio-signal amplifiers and high-speed transceivers to architecting type-safe, functional web frameworks and Haskell backends, most recently joining Nethermind to apply formal methods to blockchain systems. Jakub blends deep theoretical rigor with practical tooling—nix-driven builds, Elm/TypeScript frontends, and Haskell backends—and has taught functional programming practices at scale for products like Discovery+. He often brings hardware-grade discipline to software projects (introducing gitflow to circuit design and static typing to JS codebases), making him comfortable at the intersection of verification, reliability, and developer ergonomics.
15 years of coding experience
13 years of employment as a software developer
Master of Science (MSc) Electronic Engineering, Master of Science (MSc) Electronic Engineering at Warsaw University of TechnologyFounder Institute
Stackoverflow
349reputation
174kreached
16answers
1question
Github Skills (67)
testing10
starknet10
cairo10
framebuffer10
rust9
home-manager9
blockchain9
cairo-lang9
fpga8
stream8
asic8
servant8
vhdl8
verilog8
systemverilog8
Programming languages (9)
Github contributions (5)
jkopanski/zoid
May 2016 - Nov 2018
Contributions:17 commits, 9 pushes, 1 branch in 2 years 5 months
jkopanski/firrtl
May 2018 - Mar 2019
Haskell FIRRTL implementation
Contributions:78 commits, 6 PRs, 40 pushes in 10 months
haskellservantfirrtl
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.