Dominik Teiml
Freelance Security Researcher at Ackee Blockchain Security
Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolDominik Teiml is a freelance security researcher and Ethereum-focused engineer with nine years of experience in blockchain security, auditing, and smart contract development. He has held lead and senior roles at firms like Trail of Bits, CertiK, and Gnosis, and currently freelances while consulting for Ackee Blockchain Security. Dominik blends formal-methods experience (token verification) with practical tooling—offering audits, fuzzing and EVM assembly workshops—and has created educational content such as a course on the Ethereum Yellow Paper. As former CTO of Solvio, he also built a learning recommendation engine, demonstrating a rare mix of product, backend architecture and security expertise. Based in Prague, he combines academic training from Oxford and applied startup experience with a clear mission to change education through technology.
8 years of coding experience
7 years of employment as a software developer
Full Stack Web Development Certification, Computer Software Engineering, Full Stack Web Development Certification, Computer Software Engineering at Free Code CampThe Anglo-American School of MoscowBachelor of Science (B.S.), Mathematics, 1, Bachelor of Science (B.S.), Mathematics, 1 at Charles University in PragueInternational Baccalaureate, Czech, English, Economics, Physics, Mathematics, Further Mathematics, 40, International Baccalaureate, Czech, English, Economics, Physics, Mathematics, Further Mathematics, 40 at The English College in PragueBachelor of Science (BSc), Mathematics and Computer Science, Bachelor of Science (BSc), Mathematics and Computer Science at University of OxfordIB Diploma, IB Diploma at International Baccalaureate
English, Russian, Spanish, Czech
Stackoverflow
545reputation
33kreached
10answers
41questions
Github Skills (200)
testing10
slideshow10
vim10
visual-studio10
command-line-tool10
nvim10
webextension10
cpp10
jsx10
yellow10
browser10
api10
data-science10
karabiner10
terminfo10
Programming languages (22)
Github contributions (5)
solviofoundation/amos
Jun 2019 - Nov 2019
Contributions:256 commits, 230 pushes, 4 branches in 4 months
hacker-DOM/provio-2019
Aug 2019 - Jan 2020
Provio will be a step-by-step math proof checker
Contributions:58 commits, 2 PRs, 51 pushes in 4 months
mathbabelcheckermathematicsproof-checker
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.