JobLarper
JobLarper › Companies › CertiK › Software Engineer (Engineer III to Principal) - Formal Meth…

Software Engineer (Engineer III to Principal) - Formal Methods

CertiK — Tracked from its lever job board

New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Senior+ Posted Jul 30, 2022
REST/APIs
Apply on CertiK's site Tailor your résumé to this job

About the role

Why us? Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once deployed, they are public…

What the index says about this role

  • First seen by JobLarper — Aug 2, 2026, 76 days ago. Older postings collect hundreds of applicants — a tailored résumé matters more the longer a role has been live.
  • No pay range in our index for this listing. Across 1,749 indexed Software Engineer roles in US that do publish one, the middle half sits between $185k and $288k, median $225k — JobLarper's read of the market, not a figure from CertiK.
  • What Software Engineer roles ask for — across 10,383 indexed openings: REST/APIs (41%), Python (38%), Backend (38%), Cloud (33%), Go (28%). This posting names REST/APIs.
  • CertiK is hiring actively — 15 open roles indexed.

Derived from the 28,483 roles JobLarper indexes daily from official company boards — not from the job description above.

⚡ JobLarper watched this role appear on CertiK's official board on Jul 30, 2022. Sign up free to get alerted minutes after roles like this go live, and tailor your real résumé to the exact description — nothing invented.

More open roles at CertiK

All 15 open roles at CertiK →

Similar Software Engineer roles at other companies

Browse all software engineer jobs in united states — 5,860 open roles across 849 companies.