Summary
Leior 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