Matúš Behun
Software Engineer at everifin
Bratislava, Region of Bratislava, Slovakia
Summary
🤩
Rockstar🎓
Top SchoolMatúš Behun is a software engineer with 11 years of professional experience and seven years focused on building scalable backend systems across cybersecurity, fintech, sports betting, and IoT. He specializes in real-time data processing, message-driven architectures, and integrating modern TypeScript/Node.js stacks with legacy Perl infrastructures. Matúš is skilled in containerized deployments, microservices, DevOps automation, distributed messaging and database design, often owning both development and release management responsibilities. He has delivered PSD2-compliant open banking integrations, a Remote Browser Isolation–based WAF and PAM innovations, and high-throughput data pipelines for sports betting and GPS tracking. Based in Bratislava, he brings a mathematical background (MSc in Applied Mathematics) to system design and a track record of improving reliability through testing and performance tuning. A pragmatic engineer, he combines research-driven R&D work with hands-on production experience in security-sensitive domains.
11 years of coding experience
7 years of employment as a software developer
Master's degree, Applied Mathematics, Master's degree, Applied Mathematics at Slovenská technická univerzita v Bratislave
Github Skills (24)
mathematical10
theorem-proving9
formal-methods8
mathematics8
javascript8
appender7
math6
wolfram-language5
haiku5
mod-manager5
homotopy-type-theory4
cloudwatch4
coq3
infiniband3
youtube2
Programming languages (3)
Github contributions (5)
Seeram/Cayley-graph-generation
Nov 2017 - Jun 2019
Contributions:8 PRs, 86 pushes, 6 branches in 1 year 7 months
Seeram/Brownian-motion-generator
Feb 2018 - Jul 2020
Contributions:4 pushes, 1 branch in 2 years 5 months
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.