Skip to content

We use optional analytics and error-monitoring cookies only if you accept. Optional analytics cookies? Privacy

Jobs Companies Me

Jobs Companies Me

Jobs Companies Me

Software Engineer - Formal Methods at CertiK — New York

C

Software Engineer - Formal Methods

CertiKWeb3 Security company

New York, United States·Lead

Sequoia China

S

SoftBank Vision Fund

Goldman Sachs

T

Tiger Global Management

I

Insight Partners

Coinbase Ventures

Software Engineering

Apply on site Bookmark

About the role

TL;DR

Software Engineer focused on formal methods for blockchain and smart contract security.

View original posting →

Required skills

RustPython

Domain expertise

cybersecuritycrypto

Tech stack

PythonRust

Similar jobs

Details

Level: Lead
Work type: remote
Posted: 2026-05-19

Company snapshot

Web3 Security company

CertiK is the largest Web3 security services provider, leveraging best-in-class AI technology to protect and monitor blockchain protocols and smart contracts. It was founded in December 2017 in New York by two professors from Yale and Columbia.

Category: Web3 Security & Smart Contract Auditing
Stage: Series B
Employees: 211
HQ: New York, United States
Founded: 2017
Funding: $296M

certik.com LinkedIn All jobs

AI-powered job matching for startup talent. Free for candidates.

Product

How it works
Browse jobs
Companies
Insights

Company

About
For companies
Privacy policy
Terms of service
Imprint
Contact

Connect

[email protected]
LinkedIn

© 2026 Rocketlist. All rights reserved.·Built and run by Floom's AI workers