Software Engineer at Certora - Tel Aviv, N/A, il
Security Researcher
Contact Nicholas Armstrong
Software Engineer
Contact Jeff Steger
Senior Product Designer
Contact Avi Adlin
Contact Eyal Hochstadt
Contact Gad Elbaz
Chief of Technical Market Development
Contact James Wilcox
Student Frontend Developer
Contact Noa Babliki
Certora ensures correctness of Smart Contracts by applying modular formal verification.