Full-Time
Software Engineer – Engineer 3 to Principal
Formal Methods
Certik
201-500 employees
Blockchain security audits and ongoing monitoring
Compensation Overview
$115k - $230k/yr
Remote in USA + 3 more
More locations: Seattle, WA, USA | San Francisco, CA, USA | New York, NY, USA
Remote
 Software Engineering (1) |
|---|
- Master's Degree in Computer Science or a related field or 5 years of equivalent experience.
- Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development).
- Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines.
- Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.
- Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools.
- Adapt and improve algorithms for symbolic software model checking. Examples include bounded model checking (BMC), counterexample-guided abstraction refinement (CEGAR), and property directed reachability (IC3/PDR).
- Build and extend translators from different input languages into intermediate representations, optimizing the generated models for automated analysis.
- Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools.
- Closely collaborate with other software engineers in developing tools and set technical direction for solving problems in consultation with your team and management.
- Work on all aspects of delivering working software that meets customer needs, including analysis, design, automated testing, operations, CI/CD, measuring results, incorporating customer feedback, and support.
- PhD in the broader field of automated reasoning.
- Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc.
- Experience in functional programming (OCaml or Haskell).
- Strong and creative problem-solving skills; always willing to learn and embrace new technologies and to collaborate.
- Prior experience in a professional software development environment.
CertiK is a security-focused platform that analyzes and monitors blockchain protocols and DeFi projects to improve their safety. It provides security audits, penetration testing, and continuous monitoring services for smart contracts and blockchain apps. The main products include ongoing monitoring tools like Skynet and SkyTrace, which are offered via subscriptions to help track threats and detect fraud in real time. Compared to competitors, CertiK emphasizes its role as a premier security-ranking platform with specialized audits and continuous surveillance, aiming to deliver ongoing protection rather than one-time checks. The company’s goal is to help blockchain developers, DeFi projects, and cryptocurrency platforms reduce smart contract vulnerabilities and prevent fraudulent activity by strengthening their security posture.
Company Size
201-500
Company Stage
Series B
Total Funding
$300.2M
Headquarters
New York City, New York
Founded
2018
Simplify's Take
What believers are saying
- Binance invests as largest backer, fueling Skynet Enterprise and IPO plans.
- Partnerships with HSBC, Hong Kong government expand institutional reach.
- CoinFound integration embeds Skynet for enhanced Web3 risk analytics.
What critics are saying
- OpenZeppelin erodes audit share with superior open-source tools.
- Trail of Bits highlights CertiK flaws in Ronin $100M exploit failures.
- PeckShield captures 25% APAC clients via faster verification.
What makes Certik unique
- AI Auditor achieves 88.6% hit rate on 35 Web3 incidents using MultiScanner.
- Skynet provides real-time monitoring and security scoring for protocols.
- Formal Verification with Spoq engine validated at OSDI 2023 and ASPLOS 2026.
Help us improve and share your feedback! Did you find this helpful?
Benefits
Medical, vision, and dental insurance
401(k) plan with company matching
Life and accidental death and dismemberment insurance
HSA (with high deductible plan)
FSA
Flexible paid time off
Holidays
Growth & Insights and Company News
6 month growth
↑ 0%1 year growth
↑ 0%2 year growth
↑ 0%CertiK, a Web3 security services provider, has launched its AI Auditor tool publicly after six months of internal use. The system achieved an 88.6% hit rate when tested against 35 real-world Web3 security incidents from 2026, whilst maintaining low false-positive rates. The AI Auditor uses a MultiScanner framework and proprietary Multi-Stage Validator to filter alerts and reduce noise, allowing developers to focus on critical vulnerabilities. It incorporates a continuously updated Knowledge Base encoding real-world exploits and emerging attack patterns. Originally built for CertiK's own auditors, the tool is now available alongside open-source integrations for AI coding agents. CertiK has worked with over 5,000 enterprise clients, secured more than $600 billion in digital assets, and detected over 180,000 vulnerabilities. The company is valued at over $2 billion.
CertiK launches AI Auditor with 88.6% hit rate for Web3 security reviews. All news is rigorously fact-checked and reviewed by leading blockchain experts and seasoned industry insiders. * CertiK has launched its AI Auditor publicly after using it internally for more than six months. * The company said the system reached an 88.6% cumulative exact hit rate across 35 real-world Web3 security incidents from 2026. CertiK is pushing further into AI-based security tooling, this time with a product aimed directly at developers, auditors and institutions trying to catch vulnerabilities before they become losses onchain. The New York-based Web3 security firm said its newly released AI Auditor is designed to deliver what it called low-noise, high-signal intelligence, with the goal of helping teams identify serious issues earlier in the development cycle. The company said the tool had been used internally for over six months before being opened to the public. A security tool built to cut through alert fatigue. According to CertiK, the system was tested against 35 real-world Web3 security incidents from 2026 and achieved an 88.6% cumulative exact hit rate. The company framed that result not just as a detection metric, but as evidence that AI tools can be made more usable for security teams if they produce fewer irrelevant alerts. That point matters. One of the more persistent complaints around AI-assisted security products is that they often generate too much noise, forcing engineers to spend time sorting weak or duplicated findings rather than addressing real risk. CertiK said its model addresses that through a MultiScanner framework, which runs specialized scanners in parallel, and a proprietary Multi-Stage Validator that filters, deduplicates and assesses findings for semantic validity and exploitability before surfacing them to users. Security moves closer to the developer workflow. The company is also releasing open-source integrations for AI coding agents, a sign of where this is heading. Rather than treating security as a separate review step at the end of development, CertiK is trying to insert it directly into everyday workflows. It also said the AI Auditor draws on a continuously updated knowledge base containing exploit data, audit findings and attack patterns, allowing the system to reflect current threat intelligence rather than relying only on static model training. For now, CertiK is positioning the tool as a complement to human auditors, not a replacement. The software handles baseline detection, pre-audit triage and continuous monitoring, while human reviewers remain focused on deeper protocol risks and more complex vulnerabilities.
Minister Sidhu secures key partnership agreements and advances trade diversification efforts during Team Canada Trade Mission to Republic of Korea. Canada News Centre 02 Apr 2026, 23:56 GMT+ April 2, 2026 - Seoul, Republic of Korea - Global Affairs Canada The Honourable Maninder Sidhu, Minister of International Trade, and more than 100 business organizations and over 180 business delegates from Canada travelled to Seoul as part of the second Team Canada Trade Mission to the Republic of Korea. The mission enabled Canadian businesses to forge new partnerships, supported Canada's trade diversification agenda and advanced Canada's Indo-Pacific Strategy. While in Seoul, Minister Sidhu met with senior Canadian and Korean business leaders and showcased Canada's strengths in supply chain integration and its appeal as an investment destination for Korean companies looking to expand into the North American market. The Minister also met with several of the largest Korean conglomerates to position Canada as an investment destination and an innovation partner of choice. He spoke about future mobility partnerships with Hyundai Motor Group and discussed the electric vehicles battery ecosystem with LG Energy Solutions. Ahead of cochairing a strategic energy security dialogue with senior Canadian and Korean energy and natural resources executives, Minister Sidhu met with Kim JungKwan, the Republic of Korea's Minister of Trade, Industry and Resources, to discuss strong bilateral trade momentum under the Canada-Korea Free Trade Agreement and the Canada-Korea Industrial Cooperation Committee, as well as opportunities for new collaboration in priority sectors. Minister Sidhu highlighted Canada's role as a reliable partner in energy and food security and highvalue investment, aligned with Canada's IndoPacific Strategy. He also met again with Yeo HanKoo, the Republic of Korea's Trade Minister, shortly after their discussion on the margins of the WTO's 14th Ministerial Conference in Cameroon, where both ministers reaffirmed their commitment to working closely together to protect and advance the rulesbased international trade system that underpins shared prosperity and economic growth. Throughout the week, Minister Sidhu visited Korean businesses that have collaborated with Canadian companies in the clean technology, aerospace, defence and life sciences sectors. He highlighted Canadian leadership through: * CAE's renewed pilot-training agreement in Seoul * Korea Pharmaceutical and Bio-Pharma Manufacturers Association's Self-Driving Laboratory featuring technology from Vancouver-based company Telescope Innovations, which enables artificial-intelligence-driven automation for pharmaceutical research and development Partnerships with Canadian and Korean business organizations was a key deliverable from the trade mission. Minister Sidhu witnessed the signing of nine connections, including: * Agreement between MultiChain Advisors and CertiK * Partnership between Prairie Lithium (Canada) and Hydro Lithium (Korea) * Partnership betweenDestination Canada and MyRealTrip * Canadian direct investment in Korea: Investment by ANYLOAD Weigh & Measure in its Korean subsidiary * Partnership between ZeroKey (Canada) and Inatech (Korea) * Partnership between ZeroKey (Canada) and Ascen Korea * Memorandum of understanding between GreenHat Security (Canada) and INBLOCK (Korea) * Memorandum of understanding between GreenHat Security (Canada) and Taegwang Law Firm * Non-disclosure agreement between ASAsoft Canada and DSI Co., Ltd. He also witnessed the signing of the first financial transaction between Export Development Canada and SK ecoplant, a subsidiary of SK Group, which will help Canadian companies establish partnerships with this leading Korean conglomerate. The Team Canada Trade Mission to Korea deepened strategic partnerships and built momentum for delegates to further the relationships generated over the week. Canada will continue to work with Korean partners to drive shared prosperity, strengthen economic resilience and expand opportunities for Canadian businesses across the Indo-Pacific region.
CoinFound and CertiK join forces to strengthen Web3 transparency. Partnership targets institutional-grade data and security. Reading Time: 3 mins read CoinFound has disclosed a strategic collaboration with CertiK, a widely recognized Web3 security firm. The partnership is intended to improve data transparency, risk awareness, and institutional-level intelligence across the broader Web3 ecosystem. As part of this initiative, CertiK's Skynet security intelligence will be embedded directly into CoinFound's existing data infrastructure, enabling more informed analysis of on-chain activity and project risk. CoinFound operates as a hybrid TradFi and crypto data technology platform. It delivers real-world asset data terminals, on-chain risk graph analytics, and artificial intelligence - driven research solutions designed specifically for institutional users. Through the integration of CertiK's security intelligence, CoinFound is aiming to expand the depth and reliability of the insights available to professional investors navigating digital asset markets. Integrating security intelligence into data infrastructure. CertiK contributes to the partnership through its Skynet platform, a real-time on-chain security monitoring and security scoring system. This platform is used to assess blockchain projects and networks by continuously tracking vulnerabilities, exploits, and anomalous activity. Within the context of the collaboration, CertiK's Skynet intelligence is expected to provide CoinFound users with a more structured and standardized security reference framework to support decision-making. By incorporating Skynet's monitoring capabilities, CoinFound plans to enhance how risk is visualized and communicated across its analytics products. The companies have indicated that this integration is designed to provide additional security context for supported projects, allowing institutional participants to better understand both technical and operational risks associated with on-chain assets. Data and research collaboration. One of the central pillars of the partnership is data and information synergy. The two firms intend to advance data integration and improve standardized attribution methods across Web3 data environments. This effort is expected to increase transparency, traceability, and consistency, addressing long-standing fragmentation issues within blockchain data reporting. In parallel, CoinFound and CertiK are planning to jointly develop research content and institutional-grade insights. These materials are expected to cover industry trends, evolving market dynamics, and the structural characteristics of on-chain assets. By combining CoinFound's data analytics expertise with CertiK's security research, the collaboration aims to produce more comprehensive and actionable intelligence for market participants. Ecosystem engagement and risk disclosure. Beyond technical integration, the partnership also emphasizes ecosystem collaboration. The two organizations have outlined plans to strengthen engagement through joint events, co-developed content, and shared resources across the Web3 landscape. These initiatives are intended to foster broader knowledge sharing and encourage higher standards around transparency and security. A key focus area remains security insights and risk disclosure. With CertiK Skynet integrated into CoinFound's platform, users are expected to gain clearer visibility into potential vulnerabilities and security considerations affecting blockchain projects. This enhanced disclosure framework is designed to support due diligence processes, particularly for institutions that require robust risk assessment before deploying capital. Supporting institutional adoption of Web3. As Web3 infrastructure continues to mature, the industry is increasingly oriented toward institutional adoption. Both CoinFound and CertiK have emphasized that transparent data and continuous security monitoring are becoming essential foundations for sustainable growth in the blockchain sector. The collaboration reflects a broader industry shift toward professional-grade tooling, governance, and risk management standards. By aligning data analytics with real-time security intelligence, the partnership is positioned as a step toward a more transparent, secure, and data-driven Web3 environment. For institutional investors and other professional stakeholders, the integration of CoinFound's analytics platform with CertiK's Skynet monitoring may help bridge existing gaps between traditional finance expectations and the realities of decentralized markets.
CertiK wins 'best Security & Compliance Solution 2026' at SiGMA AIBC Eurasia Awards. Published: February 13, 2026 at 9:35 am Updated: February 13, 2026 at 9:28 am Edited and fact-checked: February 13, 2026 at 9:35 am CertiK's recognition at the SiGMA AIBC Eurasia Awards underscored its growing role in delivering institutional-grade Web3 security and supporting regulatory-aligned digital asset infrastructure across the Middle East. Web3 security services provider CertiK announced that it received the award for "Best Security & Compliance Solution 2026" at the SiGMA AIBC Eurasia Awards held on February 10th, 2026. The recognition highlights CertiK's technological innovation capabilities and underscores its role in supporting the crypto industry's progression toward compliance and institutional standards, with the award regarded as one of the most credible distinctions in the Eurasian market. The SiGMA AIBC Eurasia Awards, jointly organized by SiGMA and AIBC, are considered a leading honor for the digital technology and innovation sectors in the region, focusing on areas such as AI, blockchain, Web3, and compliance security, and are known for rigorous evaluation criteria and an international judging panel. This year's winners also included well-known Web3 companies such as Crypto.com, OKX Wallet, Avalanche, and Cointelegraph. During the ceremony, attention centered on CertiK's expanding presence in the Middle East. Since establishing its Abu Dhabi branch in 2025, the company has undertaken localized recruitment to meet rising demand for high-standard security services across regional markets. CertiK's strategic focus in the region has shifted toward delivering "institutional-grade" security services designed to provide banks, sovereign wealth funds, and multinational corporations with foundational security measures aligned with traditional financial requirements through advanced engineering capabilities and a comprehensive defense framework. CertiK has developed multi-layered cooperation with Abu Dhabi regulators, participated in roundtable discussions on virtual asset regulatory frameworks within the Abu Dhabi Global Market (ADGM), and supplied regulators with real-time risk monitoring and compliance analysis through its enterprise-grade platform Skynet Enterprise. These tools assist authorities in evaluating the potential impact of abnormal events on corporate entities and the broader financial system, supporting the parallel advancement of compliance and innovation in the digital economy. CertiK strengthens position as the largest Web3 security firm, safeguarding over $600B in digital assets. CertiK is recognized as the largest Web3 security services provider, applying formal verification technology to safeguard and monitor blockchain protocols and smart contracts. Founded in December 2017 by professors from Yale University and Columbia University, the company brings academic research into enterprise environments to support the secure scaling of mission-critical applications. CertiK has worked with more than 5,000 enterprise clients, secured over $600 billion in digital assets, and identified more than 180,000 vulnerabilities in blockchain code. Its client base includes major industry projects such as Binance, Ethereum Foundation, BNB Chain, Aptos, Ripple, Sandbox, Polygon, and TON. Since its founding, CertiK has received investment from 12 major funds, including Sequoia, Coatue, Goldman Sachs, Shunwei Capital, and Insight Partners, and holds a valuation exceeding $2 billion. Disclaimer. In line with the Trust Project guidelines, please note that the information provided on this page is not intended to be and should not be interpreted as legal, tax, investment, financial, or any other form of advice. It is important to only invest what you can afford to lose and to seek independent financial advice if you have any doubts. For further information, Mpost Media Group suggest referring to the terms and conditions as well as the help and support pages provided by the issuer or advertiser. MetaversePost is committed to accurate, unbiased reporting, but market conditions are subject to change without notice. Alisa, a dedicated journalist at the MPost, specializes in cryptocurrency, zero-knowledge proofs, investments, and the expansive realm of Web3. With a keen eye for emerging trends and technologies, she delivers comprehensive coverage to inform and engage readers in the ever-evolving landscape of digital finance. Alisa Davidson Hot Stories by Alisa Davidson February 13, 2026 by Alisa Davidson February 13, 2026 by Alisa Davidson February 13, 2026 by Alisa Davidson February 13, 2026 by Alisa Davidson February 13, 2026 by Alisa Davidson February 13, 2026 by Alisa Davidson February 13, 2026 by Alisa Davidson February 13, 2026 Featured Hack Seasons Business Lifestyle Markets News Report Technology February 13, 2026 Business News Report Technology February 13, 2026 Business News Report Technology February 13, 2026 News Report Technology February 13, 2026