Software Engineering Research Intern at Certora - Tel Aviv, N/A, il
Senior Software Engineer
Contact Rahav Yairi
Delegado vendas
Contact Norberto Araujo
Senior Team Lead
Contact Or Pistiner
VP People
Contact Aviva Gatt
Director of Innovation at Certora
Contact Yuval Zalmenson
Researcher at Certora
Contact Otakar Trunda
R&D Director
Contact Ghila Castelnuovo
Certora ensures correctness of Smart Contracts by applying modular formal verification.