Gal Sade
Senior Software Engineer at Hopper Security
Givatayim, Israel
Summary
👤
Senior🎓
Top SchoolGal Sade is a Senior Software Engineer with eight years of professional experience and six years focused on C++ development, currently building security-focused systems at Hopper Security after leading R&D and hands-on teams in the Israel Defense Forces. He combines rigorous academic training in mathematics and computer science from Technion with practical, field-proven leadership, shipping reliable low-level and systems software under operational constraints. A self-motivated problem solver and team player, Gal is comfortable moving between individual contributor work and leading engineers to delivery. Notably, his career blends formal research-caliber thinking with real-world, mission-critical engineering—making him adept at turning complex requirements into robust, maintainable solutions.
8 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS, Mathematics, Bachelor of Science - BS, Mathematics at Technion - Israel Institute of Technology
Github Skills (8)
sequential7
abc6
logic6
verification5
synthesis5
formal-verification4
eda4
coq4
Programming languages (2)
Github contributions (5)
galls2/OMG_cpp
Aug 2019 - Nov 2020
Contributions:190 pushes, 6 branches, 12 comments in 1 year 2 months
galls2/OMG
Dec 2018 - May 2019
Contributions:198 commits, 162 pushes, 1 branch in 4 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.