Certora

About Certora Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence. But we’re not just another auditor. We’re a full-stack security assurance platform, combining best-in-class formal verification tools with expert advisory services, delivered on time and with zero compromise. Whether you’re launching a new protocol, upgrading core infrastructure, or securing a DeFi primitive, Certora doesn’t just look for vulnerabilities. We help you prove correctness, accelerate your development speed, and embed safety into your design from day one. With Certora, you get: - Proven, scalable tooling for checking real deployed code - A deep partnership model with on-demand support - Fast, responsive execution that helps you go-to-market faster For us, security isn’t a checklist, it’s a continuous process. Certora is the most comprehensive and trusted platform to ensure your platform is protected, even under adversarial conditions. From testnet to mainnet, we’re with you. About the Role Certora is looking for an experienced SOC Analyst to join our Security Operations team. This role is centered around three core areas: SOC operations, incident response, and Web3 investigations. It is designed for a security professional who can take ownership of security events from initial triage through full investigation and response, while working effectively across internal teams and customer-facing situations. This role goes beyond alert monitoring and triage. It requires strong investigative capabilities, including event research, enrichment, root-cause analysis, and building a clear operational understanding of incidents across multiple environments. We are looking for someone with strong Web2 security fundamentals and deep understanding of Web3 security investigations, attack patterns, and response workflows. This is a non-shift position. However, availability outside business hours is required in the event of critical incidents. Key Responsibilities - Perform day-to-day SOC operations, including alert handling, triage, escalation, and response coordination - Lead end-to-end security incident investigations and response activities - Handle containment, eradication, recovery, and post-incident follow-up - Investigate and analyze security events across SIEM, EDR, cloud, and Web3-related data sources - Conduct deep event research and enrichment to establish context, assess impact, and support decision-making during incidents - Perform root-cause analysis and build a clear operational understanding of incidents across multiple systems and environments - Produce clear investigation reports, technical findings, and executive-level summaries - Work directly with customers during active security events in a professional and structured manner - Develop and maintain playbooks, runbooks, and operational procedures - Build and maintain automations using SOAR platforms, scripting, and API-based workflows - Develop, tune, and optimize detection rules and correlation logic - Improve SOC operational effectiveness and KPIs such as MTTD, MTTR, automation coverage, and detection quality - Contribute to cross-functional security initiatives and continuous improvement of team processes - Fluent English, with the ability to communicate clearly and professionally in both written and verbal form Mandatory Requirements - 3+ years of experience as a SOC Analyst, Incident Responder, or in a similar security operations role - Proven experience handling security incidents end-to-end - Strong hands-on experience in SOC operations, incident response, and security investigations - Strong knowledge of Web2 security fundamentals and deep understanding of Web3 security - Proven experience investigating Web3 attacks, including areas such as smart contracts, wallet abuse, transaction analysis, and on-chain activity investigation - Experience working directly with customers during security incidents or security operations engagements - Advanced hands-on experience with Splunk, including: - Writing and tuning detection rules - Parsing and data onboarding - Understanding Splunk architecture - Detection optimization and correlation logic - Experience working with EDR solutions such as SentinelOne, CrowdStrike, Microsoft Defender, or similar - Strong threat hunting and complex query-writing capabilities - Experience building automations and writing scripts using Python, Bash, and APIs - Ability to work independently, take ownership, and drive tasks through to completion - Strong written and verbal communication skills in English - Ability to work effectively in a remote environment while maintaining clear, proactive, and structured communication with the team lead and the rest of the team Nice to Have - Experience with Detection-as-Code methodologies - Experience with SOAR platforms - Cloud security experience in AWS / Azure / GCP - Experience working in a startup or high-growth environment - Strong incident response methodology knowledge, including root-cause analysis and lessons-learned processes Who You Are - Independent, accountable, and comfortable taking ownership end-to-end - Proactive, hands-on, and solution-oriented - A strong communicator and team player, with the ability to work remotely while maintaining clear and structured reporting - Fast learner, able to quickly ramp up on new technologies, domains, and attack patterns - Analytical and methodical, with strong investigative and root-cause analysis skills - Able to communicate technical findings clearly to both technical and non-technical stakeholders - Process-oriented, with a continuous improvement mindset - Automation-driven and focused on operational efficiency Certora People We are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner. We Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable. We win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals. We have a positive “can do” attitude. We support each other and are encouraged to ask for help and advice. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery. We are Pioneers in DeFi security. We are one of the best companies to help developers and security researchers secure Web3, but we try to stay humble and are always eager to learn more. Why join Certora? Certora provides you a wonderful opportunity to: - Work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies - Contribute to securing the web3 ecosystem with the leading provider of end-to-end security for blockchain-based applications - Experience a friendly creative start-up environment with top talent in the domain - Work in a fast-paced and supportive culture: we move fast and break nothing! - Enjoy flexible work (remote / hybrid) - Get competitive compensation & benefits (including equity)

About Certora Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence. But we’re not just another auditor. We’re a full-stack security assurance platform, combining best-in-class formal verification tools with expert advisory services, delivered on time and with zero compromise. Whether you’re launching a new protocol, upgrading core infrastructure, or securing a DeFi primitive, Certora doesn’t just look for vulnerabilities. We help you prove correctness, accelerate your development speed, and embed safety into your design from day one. With Certora, you get: - Proven, scalable tooling for checking real deployed code - A deep partnership model with on-demand support - Fast, responsive execution that helps you go-to-market faster For us, security isn’t a checklist, it’s a continuous process. Certora is the most comprehensive and trusted platform to ensure your platform is protected, even under adversarial conditions. From testnet to mainnet, we’re with you. About the role Certora is seeking a highly organized and proactive Event Manager / Coordinator to support the planning and execution of in-person events. This role will play a key part in elevating Certora’s presence across the Web3 ecosystem, including conferences, hosted events, and executive roundtables. Responsibilities - Plan and execute end-to-end event logistics - Coordinate with internal stakeholders (marketing, leadership, research) to align on goals and messaging - Manage vendor relationships, venues, and event platforms - Support event promotion in collaboration with marketing (email, social, partners) - Oversee timelines, budgets, and deliverables to ensure seamless execution - Coordinate speaker logistics, agendas, and run-of-show documents - Track event performance and provide post-event reporting Requirements - 3+ years of experience in event planning or coordination (B2B or tech preferred) - Strong project management and organizational skills - Experience managing both virtual and live events - Ability to work cross-functionally in a fast-paced environment - Excellent communication and attention to detail Nice to Have - Experience in Web3, fintech, or developer-focused events - Familiarity with tools like Zoom, Hopin, Luma, or similar platforms Certora People We are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner. We Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable. We win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals. We have a positive “can do” attitude. We support each other and are encouraged to ask for help and advice. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery. We are Pioneers in DeFi security. We are one of the best companies to help developers and security researchers secure Web3, but we try to stay humble and are always eager to learn more. Why join Certora? Certora provides you a wonderful opportunity to: - Work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies - Contribute to securing the web3 ecosystem with the leading provider of end-to-end security for blockchain-based applications - Experience a friendly creative start-up environment with top talent in the domain - Work in a fast-paced and supportive culture: we move fast and break nothing! - Enjoy flexible work (remote / hybrid) - Get competitive compensation & benefits (including equity)

About Certora Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence. But we’re not just another auditor. We’re a full-stack security assurance platform, combining best-in-class formal verification tools with expert advisory services, delivered on time and with zero compromise. Whether you’re launching a new protocol, upgrading core infrastructure, or securing a DeFi primitive, Certora doesn’t just look for vulnerabilities. We help you prove correctness, accelerate your development speed, and embed safety into your design from day one. With Certora, you get: - Proven, scalable tooling for checking real deployed code - A deep partnership model with on-demand support - Fast, responsive execution that helps you go-to-market faster For us, security isn’t a checklist, it’s a continuous process. Certora is the most comprehensive and trusted platform to ensure your platform is protected, even under adversarial conditions. From testnet to mainnet, we’re with you. About the role We are looking for a full-time Formal Verification Researcher to lead the adoption of formal methods of financial systems using a unique formal verification product called the Certora Prover. You will use the Prover to prove the mathematical properties of complex financial systems such as Aave and Lido, which are implemented using computer programs called smart contracts and improve the Certora Prover technology. The role requires comprehending complex code and finding modular ways to prove the correctness of the systems. In particular, we harness SMT solvers to find critical bugs in financial systems, thus requiring a deep understanding of the technology's advantages and limitations and developing the correct verification methodology. You will also assist the product team by proposing enhancements to the Certora Prover to enable and promote wider-scale usage and development of additional products. Relevant skills - Academic graduate degree in Math, Physics, or Computer Science from an excellent research university. Outstanding candidates with an undergraduate degree will also be considered - Passion for applying cutting-edge technology to financial systems - At least three years of software development experience - Background in vulnerability research, especially with high-level code (an advantage). - DeFi and Fintech understanding (an advantage). - Formal verification background, especially with tools such as Dafny, Lean4, Coq, and Isabelle (an advantage). - Outstanding junior candidates will also be considered. Responsibilities As a Formal Verification Researcher at Certora, you will: - Lead formal verification projects of complex DeFi protocols using the Certora Prover. - Rapidly understand new customer codebases and financial systems (e.g., lending protocols, staking systems). - Identify the most critical safety and security properties of smart contracts and formally specify them according to the implementation. - Apply compositional reasoning to prove properties and relevant assumptions using the Certora Prover. - Detect vulnerabilities and critical bugs through SMT-based verification methodologies. - Produce high-quality security reports that document formal verification results, identified issues, and proof outcomes. - Communicate findings clearly to clients, including both technical audiences and non-specialists. - Collaborate with client teams to review proposed security fixes and verify their correctness. - Work closely with the R&D team to suggest improvements to the Certora Prover and contribute to broader product development. - Stay flexible and adaptive in project-based work: handling evolving requirements, changing codebases, and shifting priorities. Certora People We are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner. We Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable. We win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals. We have a positive “can do” attitude. We support each other and are encouraged to ask for help and advice. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery. We are Pioneers in DeFi security. We are one of the best companies to help developers and security researchers secure Web3, but we try to stay humble and are always eager to learn more. Why join Certora? Certora provides you a wonderful opportunity to: - Work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies - Contribute to securing the web3 ecosystem with the leading provider of end-to-end security for blockchain-based applications - Experience a friendly creative start-up environment with top talent in the domain - Work in a fast-paced and supportive culture: we move fast and break nothing! - Enjoy flexible work (remote / hybrid) - Get competitive compensation & benefits (including equity)

About Certora Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence. But we’re not just another auditor. We’re a full-stack security assurance platform, combining best-in-class formal verification tools with expert advisory services, delivered on time and with zero compromise. Whether you’re launching a new protocol, upgrading core infrastructure, or securing a DeFi primitive, Certora doesn’t just look for vulnerabilities. We help you prove correctness, accelerate your development speed, and embed safety into your design from day one. With Certora, you get: - Proven, scalable tooling for checking real deployed code - A deep partnership model with on-demand support - Fast, responsive execution that helps you go-to-market faster For us, security isn’t a checklist, it’s a continuous process. Certora is the most comprehensive and trusted platform to ensure your platform is protected, even under adversarial conditions. From testnet to mainnet, we’re with you. About the role We are looking for brilliant security researchers who care about evangelizing formal verification to secure code and can find logical mistakes in high-level programs. Relevant skills - Web3 security understanding at all levels - Prevent mind blowing bugs in Solidity and Rust smart contracts, saving billions of dollars for our DeFi clients and their clients. - Mathematically prove interesting properties of low-level code using state-of-the-art technology, including the Certora Prover and other products. - Find live bugs in DeFi code and report via responsible disclosure - Be updated with the latest web3 security trends and hacks Must-Have Requirements - An undergraduate degree in exact science from a strong university - The ability to quickly understand intricate programs - Mathematical thinking - High integrity Significant Advantage - Cyber experience - Code security - Deep understanding in Blockchain technology (EVM/SolanaVM) & DeFi - Two years of experience in smart contract auditing or code vulnerability research - Rust or Solidity understanding - Experience with testing framework such Foundry, Hardhat, FV tools - Ability to write technical reports and blogs - Participation in CTF’s/audit contests/bug bounties programs - Communication skills - Managerial skills - Graduate degree - A European time zone or Eastern US is preferable Certora People We are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner. We Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable. We win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals. We have a positive “can do” attitude. We support each other and are encouraged to ask for help and advice. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery. We are Pioneers in DeFi security. We are one of the best companies to help developers and security researchers secure Web3, but we try to stay humble and are always eager to learn more. Why join Certora? Certora provides you a wonderful opportunity to: - Work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies - Contribute to securing the web3 ecosystem with the leading provider of end-to-end security for blockchain-based applications - Experience a friendly creative start-up environment with top talent in the domain - Work in a fast-paced and supportive culture: we move fast and break nothing! - Enjoy flexible work (remote / hybrid) - Get competitive compensation & benefits (including equity)

About Certora Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence. But we’re not just another auditor. We’re a full-stack security assurance platform, combining best-in-class formal verification tools with expert advisory services, delivered on time and with zero compromise. Whether you’re launching a new protocol, upgrading core infrastructure, or securing a DeFi primitive, Certora doesn’t just look for vulnerabilities. We help you prove correctness, accelerate your development speed, and embed safety into your design from day one. With Certora, you get: - Proven, scalable tooling for checking real deployed code - A deep partnership model with on-demand support - Fast, responsive execution that helps you go-to-market faster For us, security isn’t a checklist, it’s a continuous process. Certora is the most comprehensive and trusted platform to ensure your platform is protected, even under adversarial conditions. From testnet to mainnet, we’re with you. About the role We are looking for brilliant security researchers who understand and can find security bugs in cryptographic primitives such as signatures, encryption, and zero-knowledge cryptography. The ideal candidate also cares about exploring the use of formal verification to secure code. Relevant skills - Experience reviewing cryptographic implementations, especially zero knowledge proof systems and circuits, and including MPC, signatures, and cryptographic libraries - Ability to dive into complex code bases written in Rust, C, C++ and other languages - Mathematically prove security properties of low-level code using state-of-the-art technology, including the Certora Prover and other products. Must-Have Requirements - An undergraduate degree in exact sciences from a strong university - The ability to quickly understand intricate programs, learn new protocols and frameworks, digest cryptography and security publications - Mathematical thinking - Hands-on cryptography understanding: the right candidate must be able to read and write code and come up with proof of concepts to demonstrate and communicate security claims - High integrity Significant Advantage - Previous experience in code auditing or vulnerability research - Expertise in code security and applied cryptography - Deep understanding of Blockchain technology (EVM, Solana) - Exposure to ZK technology: zkVMs, zkSNARKs or other proof systems - Understanding of Rust, Circom, Solidity - Publication of technical reports and blog posts - Participation in CTF’s/audit contests/bug bounties programs - Communication skills - High agency and ability to work independently - A European time zone or Eastern US is preferable Certora People We are Customer Centric, when we commit, the customer knows we will deliver in a quality and timely manner. We Move Fast - we’re looking for people with a bias for action and a sense of urgency to achieve quick results while we also Break Nothing – we have high-quality standards, we are looking for people who are professional and hold themselves accountable. We win as a Team – our teams are distributed around the world. We understand our individual roles and commit to the team's goals. We have a positive “can do” attitude. We support each other and are encouraged to ask for help and advice. We enable people to grow by clarifying expectations and giving candid feedback and on-the-job development opportunities. We welcome collaboration both internally and externally for outstanding delivery. We are Pioneers in DeFi security. We are one of the best companies to help developers and security researchers secure Web3, but we try to stay humble and are always eager to learn more. Why join Certora? Certora provides you a wonderful opportunity to: - Work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies - Contribute to securing the web3 ecosystem with the leading provider of end-to-end security for blockchain-based applications - Experience a friendly creative start-up environment with top talent in the domain - Work in a fast-paced and supportive culture: we move fast and break nothing! - Enjoy flexible work (remote / hybrid) - Get competitive compensation & benefits (including equity)