{"source":"Breaknorm","page":"https://breaknorm.co/company/certora.com","license":"https://breaknorm.co/terms","domain":"certora.com","name":"Certora","legal_name":"Use Privacy Policy Privacy Policy Certora Ltd","country":"GB","country_second":"US","city":"","admin1":"","vertical":"technology_software","subvertical":"developer_apis_and_data_infrastructure","leaf":"esignature_and_digital_trust","summary":"Certora is a security service provider that secures smart contracts through formal verification tools and audits. Its offerings include the Certora Prover tool, Gambit, dedicated security audits, and community audit contests. It serves blockchain developers and auditors across ecosystems such as Solana, Stellar, and Sui.","offerings":["Certora Prover","Gambit","security audits","crowdsourced specification contests"],"target_customers":["blockchain developers","smart contract auditors","defi protocol teams"],"business_model":["B2B"],"geo_scope":"unknown","headcount":"51-200","headcount_source":"linkedin","revenue":"10M-50M","revenue_source":"estimated","certifications":[],"langs":["en"],"linkedin":"https://www.linkedin.com/company/certora","reviews":[],"contact_points":0,"contact_phones":0,"page_types":["privacy","pricing","terms","team","home","careers","about"],"crawled":"2026-09-07","profiled":"2026-09-12","indexed":"2026-09-19","hiring_built":"2026-10-27","website_tech":["amazon_ses","amazon_trust_services","apple","certainly","cloudflare","cursor","google_workspace","hubspot","mailchimp","openai","resend","teamtailor"],"hiring":{"open":3,"open_postings":3,"new_7d":0,"new_30d":0,"new_90d":1,"closed_30d":0,"countries":["US"]},"hiring_functions":[["customer_service_and_success",1,0],["data_and_ai",1,0],["sales",1,0]],"tech_jobs":[{"slug":"aws","status":"active","confidence":"high","jobs":1,"first_seen":"2026-07-08","function":"data_and_ai","quote":null,"title":""},{"slug":"python","status":"active","confidence":"high","jobs":1,"first_seen":"2026-07-08","function":"data_and_ai","quote":null,"title":""},{"slug":"salesforce","status":"active","confidence":"high","jobs":1,"first_seen":"2026-07-29","function":"customer_service_and_success","quote":"Maintain the relationship, identify needs or risks early, coordinate the appropriate Certora response, develop future work, and keep the account and next actions current in Salesforce.","title":"Technical Account Manager"},{"slug":"claude","status":"active","confidence":"medium","jobs":1,"first_seen":"2026-07-08","function":"data_and_ai","quote":null,"title":""},{"slug":"codex","status":"active","confidence":"medium","jobs":1,"first_seen":"2026-07-08","function":"data_and_ai","quote":null,"title":""},{"slug":"sql","status":"active","confidence":"medium","jobs":1,"first_seen":"2026-07-08","function":"data_and_ai","quote":null,"title":""},{"slug":"google-cloud-platform","status":"active","confidence":"low","jobs":1,"first_seen":"2026-07-08","function":"data_and_ai","quote":null,"title":""},{"slug":"railway","status":"active","confidence":"low","jobs":1,"first_seen":"2026-07-08","function":"data_and_ai","quote":null,"title":""}],"intents":[],"recent_postings":[{"id":6864705,"title":"Enterprise Sales Lead","city":"Europe","function":"sales","family":"sales/account_executive_new_business","seniority":"senior","posted":"2026-08-26","url":"https://careers.certora.com/jobs/8273829-enterprise-sales-lead","tech":[]},{"id":6864706,"title":"Technical Account Manager","city":"Europe","function":"customer_service_and_success","family":"customer_service_and_success/customer_success_and_client_servicing","seniority":"senior","posted":"2026-07-29","url":"https://careers.certora.com/jobs/8142371-technical-account-manager","tech":["salesforce"]}],"ats":"Teamtailor","similar":[{"domain":"valkyrisec.com","name":"Valkyri Security","country":"GB","city":null,"headcount":"51-200","leaf":"managed_cybersecurity_services","summary":"Valkyri Security is a full-stack security firm that provides smart contract audits, web and cloud pentesting, and blockchain vulnerability analysis for DeFi pro."},{"domain":"stardust-testing.com","name":"Stardust Testing","country":"FR","city":"Marseille 03","headcount":"201-500","leaf":"qa_and_software_testing_services","summary":"Stardust Testing is a software testing service that provides QA, UAT, crowdtesting, automation and in-house testing for mobile apps, marketplace platforms, IoT ."},{"domain":"certik.com","name":"CertiK","country":"US","city":"New York","headcount":"201-500","leaf":"compliance_grc_software","summary":"CertiK is a Web3 security platform that provides blockchain security auditing, formal verification, and comprehensive security solutions for businesses."},{"domain":"cyberscopes.uk","name":"Cyberscope","country":"CZ","city":null,"headcount":"51-200","leaf":"blockchain_web3_development","summary":"Cyberscope is a blockchain security service provider that audits smart contracts, performs penetration testing, and offers bug bounty programs for web3 projects."},{"domain":"hireahackergroup.com","name":"Hire A Hacker Group","country":"US","city":null,"headcount":"201-500","leaf":"managed_cybersecurity_services","summary":"Hire A Hacker Group is an ethical hacking organization that provides security audits, web development security testing, and data protection for gaming platforms."},{"domain":"steelheadsecuritycorp.com","name":"Steelhead Security Corp.","country":"US","city":"Spokane","headcount":"51-200","leaf":"general_security_services","summary":"Steelhead Security Corp."}],"similar_scored":588,"customers":null,"as_of":"2026-11-01","updated_at":"2026-11-01","hash":"ec61ea17125262a2","index_tier":1}