Software Engineer (Engineer III to Principal) - Formal Methods
CertiK · New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, Remote
Designs and develops automated analysis tools that verify smart contract correctness and identify security issues and bugs in blockchain applications.
- Role
- Engineering
- Remote policy
- fully-remote
- Salary
- USD 115k–230k
- Team
- Engineering - Tools
- Type
- Full-time
- Posted
- 2022-07-30
- First seen
- 2026-11-03
- Last seen alive
- 2026-11-03
- Last verified
- 2026-11-03
- Verification
- AI-verified
- Source
- CertiK careers
- Board
- lever
Report expired / not remote
Check the employer's posting first. If it is gone or not actually remote, tell us via contact with "Software Engineer (Engineer III to Principal) - Formal Methods at CertiK"; the next ingest drops it.