Šimon Hrabec
Software Engineer at Headlands Technologies LLC
Amsterdam, North Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolŠimon Hrabec is a software engineer with 11 years of hands-on experience and a strong foundation in algorithms and mathematics, currently pursuing a Master's in Computer Science at ETH Zürich and based in Amsterdam. He specializes in high-performance C++ systems but regularly works across languages including C#, Python, Swift, and TypeScript, with production experience at Microsoft, STRV, Optiver, and most recently BlockTech. His background includes low-level optimization for ARM devices (NEON vectorization) and backend systems design, and he has a track record of proposing impactful optimizations that were adopted into products. A top 2% graduate who demonstrates problem-solving through competitive platforms like HackerRank, Šimon pairs rigorous academic training with international internships and collaborative research, making him comfortable in both R&D and fast-moving product teams. Notably, he has blended numerical methods and visualization in past research, showing an appetite for translating deep technical ideas into usable demonstrations.
11 years of coding experience
5 years of employment as a software developer
Coursera, EdX, OpenEdX, Coursera, EdX, OpenEdX at MOOC platforms (Massive Open Online Courses)Hong Kong University of Science and Technology (HKUST)Information Technology, Information Technology at Metropolia AmmattikorkeakouluUndergraduate Computer Science, Undergraduate Computer Science at Czech Technical University in PragueMaster of Science - MS Computer Science, Master of Science - MS Computer Science at ETH ZürichComputer Science, Computer Science at USI Università della Svizzera italianaComputer Science, Computer Science at Ajou University
English, Czech, Korean, Italian
Github Skills (28)
viper10
verification10
algorithms9
formal-verification9
eigen9
rust9
react8
solver8
gradient-descent8
nodejs8
constrained-optimization8
optimization-methods8
nonlinear7
mathematics7
optimization7
Programming languages (4)
Github contributions (5)
simon-hrabec/Algolab-2020
Dec 2020 - Nov 2021
Solutions for problems given in ETH course Algorithms Lab in Fall 2020
Contributions:176 commits, 149 pushes, 1 branch in 11 months
simon-hrabec/Programming-problems-solutions-algorithms-datastructures
Oct 2016 - Mar 2020
Contributions:11 pushes, 1 branch in 3 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.