Leior Varon
SW Development Engineer at Siemens Digital Industries Software
Portland, Oregon, United States
Summary
👤
Senior🎓
Top SchoolLeior Varon is a software development engineer with nine years of experience specializing in design-for-test automation and verification tooling, currently working on hierarchical scan insertion and wrapper analysis for Siemens’ Tessent DFT suite. He excels at diving into complex systems, creating custom tooling and algorithms when off-the-shelf solutions fall short, and balancing delivery urgency with uncompromising quality. Past roles include leading design automation and large-cluster scheduling improvements at Mellanox, and applying formal methods to verifiable C at Galois, showing comfort across low-level tooling, languages (C++, Python, Tcl) and formal specification. Leior’s background in electrical engineering, physics and applied mathematics from Technion informs his pragmatic, systems-oriented approach and ability to bridge algorithm design with production engineering. An unusual thread through his career is combining hands-on hacking (cluster schedulers, linters, wrappers) with rigorous methodology, enabling both rapid iteration and long-term reliability. Based in Portland, he brings deep domain expertise in semiconductor EDA and verification infrastructure.
9 years of coding experience
7 years of employment as a software developer
Bachelor of Science (B.Sc.), Electrical and Electronics Engineering, 87.2, Bachelor of Science (B.Sc.), Electrical and Electronics Engineering, 87.2 at Technion - Israel Institute of Technology
English, Hebrew
Github Skills (5)
polling7
privacy-protection6
privacy-enhancing-technologies5
privacy-preserving5
privacy3
Programming languages (1)
Github contributions (3)
nobody27/frupal
Apr 2019 - Jun 2019
Contributions:191 pushes, 9 branches in 2 months
FreeAndFair/Qubie
Apr 2017 - May 2017
Qubie is a passive, privacy-preserving data gathering system that helps election officials better understand the flow of voters at their polling places.
Contributions:36 commits, 33 pushes, 2 branches in 1 month
privacy-enhancing-technologiesofficialsprivacygatheringvoters
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.