Sebastian Zimmer

Software Engineer at Kraken Digital Asset Exchange

London, England, United Kingdom
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
Sebastian Zimmer is a Software Engineer based in London with nine years of professional experience, currently contributing to Kraken Digital Asset Exchange. He brings practical expertise in building and maintaining systems for a high-throughput, security-sensitive fintech environment. Comfortable operating in fast-moving teams, he blends hands-on coding with an understanding of compliance and operational resilience required by crypto platforms. Though his public GitHub footprint and formal education details are not listed, his sustained tenure at a major digital-asset firm suggests strong domain knowledge in trading infrastructure and production reliability. He favors pragmatic solutions that balance performance, security, and maintainability.
code10 years of coding experience
github-logo-circle

Github Skills (23)

math-library10
mathematical8
async8
actix-web7
web-development7
rust7
theorem-proving6
mathematics6
formal-methods6
javascript5
math4
multithreading3
rfc3
networking3
firefox-addon2

Programming languages (4)

CSSLeanRustPython

Github contributions (5)

github-logo-circle
sebzim4500/tokio-nats

Nov 2019 - Oct 2024

Contributions:4 PRs, 16 pushes, 1 branch in 4 years 11 months
sebzim4500/mathlib

Oct 2018 - Nov 2018

Lean mathematical components library
Contributions:6 pushes, 2 branches in 26 days
mathcomponents-librarymathematicsjavascriptmath-library
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.
Request Free Trial