Software Engineer (Engineer III to Principal) - Formal Methods
CertiK is hiring for Software Engineer (Engineer III to Principal) - Formal Methods in New York, NY / Seattle, WA / San Francisco Bay Ar. Staff level. First seen August 6, 2026; open as of November 10, 2026. Jobs taken straight from company career pages — no aggregator in between.
With Destava: How well do you fit? · Tailor my résumé · Write a cover letter
- Company
- CertiK
- Where
- New York, NY / Seattle, WA / San Francisco Bay Ar
- Level
- Staff
- First seen
- August 6, 2026
- Listed via
- Lever
What the posting says
What you will do 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 tools that rest upon techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will…
Read more and apply on CertiK's site
More jobs like this
A search agent finds the jobs this list misses: the ones that mean the same without the same words. Have Destava watch for software engineer (engineer iii to principal) - formal methods jobs in New York, NY / Seattle, WA / San Francisco Bay Ar, new matches every morning on your own account.