Eli Arbel
Manager, Quantum And Software Quality at IBM
Israel
Summary
🤩
Rockstar🎓
Top SchoolEli Arbel is a seasoned engineering leader with 7+ years in software and quantum quality management at IBM, and a continuous IBM tenure dating back to 2004. He has progressed from student developer and EDA project leader to managing Formal Verification Technologies and leading Quantum and Software Quality efforts, blending deep technical expertise in formal methods, verification, and SAT-based logic optimization with people and project leadership. Eli’s background includes hands-on R&D in clock gating extraction, soft-error analysis, timing debug and model-checking reductions, giving him a rare mix of low-level verification experience and strategic quality ownership. Based in Israel with an M.Sc. in Computer Science from the University of Haifa, he excels at turning complex verification research into practical tooling and quality processes for large-scale engineering teams. A subtle but telling strength is his longevity within one organization, reflecting adaptability, institutional knowledge and an ability to evolve technical scope from code-level algorithms to managing cross-disciplinary quality initiatives.
7 years of coding experience
Master of Science (M.Sc.), Computer Science, Master of Science (M.Sc.), Computer Science at University of Haifa
Github Skills (30)
python10
simulator10
source-sdk10
sdk10
gpu10
quantum-computing10
high-performance10
qiskit10
noise10
quantum-programming-language10
error-correction10
quantum-algorithms9
photonics9
verification9
graph9
Programming languages (5)
Github contributions (5)
eliarbel/qiskit
Jun 2024 - Mar 2025
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
Contributions:114 pushes, 32 branches in 9 months
eliarbel/qiskit-experiments
Jul 2021 - Mar 2025
Qiskit Experiments
Contributions:34 pushes, 11 branches in 3 years 8 months
qiskitquantum-computing
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.