Software Engineer (Engineer III to Principal) - Formal Methods is open at CertiK in New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote. The posting gives no salary; similar roles in the United States advertise a median of $235K. Posted on Jul 30, 2022, and still on CertiK’s careers page when we last checked, on Nov 14, 2026.
About the role
You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. We have software engineer positions available at all levels of seniority. Title and responsibilities will be commensurate with experience and background. As part of our multinational team of programming language experts, you will participate in the development of…
The opening lines of the posting. The rest is on CertiK’s careers page.
Hiring at CertiK
CertiK has 31 open roles right now, 29 of them remote. Most are in Security, Sales & Business Development and Compliance & Legal. See all its roles
