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