Software Engineer (Engineer III to Principal) - Formal Methods

CertiK

100-1000 employees, Growth

Location: New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote

Salary Range: Salary range USD 115,000 - 230,000 / year

Source: Lightspeed

Posted: Jul 30, 2022

Found: Oct 15, 2026

Job Description

Department: Engineering

Skills & Keywords

Business Development, Finite Automata, IDE, Open Source Software, Formal Verification, Research, Haskell, Algorithms and Data Structures, Compliance, OCaml, Functional Programming, Modeling

Back to Search Results Apply Now

If you see something wrong with this job listing after clicking 'Apply Now', you can:
flag it as expired

Similar Jobs You Might Like

Machine Learning Engineer - New Grad

SambaNova

Remote/Not Specified

Posted: Nov 04, 2026 Similarity: 15

Software Fullstack Engineer III, Metadata Experiences

Box

Warsaw, Poland

Posted: Nov 04, 2026 Similarity: 14

Senior/Staff Embedded Software Engineer

Heron Power

Scotts Valley · Scotts Valley, California, United States

Posted: Nov 04, 2026 Similarity: 11

Senior Software Engineer, Metadata Experiences

Box

Warsaw, Poland

Posted: Nov 04, 2026 Similarity: 11

Staff Software Engineer, Messaging Experience

Braze

Remote/Not Specified

Posted: Nov 04, 2026 Similarity: 10

More Jobs at CertiK

Project Manager

United States · Remote

Posted: Oct 30, 2026

Web3 Licensing and Regulatory Compliance Specialist

Europe · Remote

Posted: Oct 27, 2026

Lead Product Manager, Digital Assets

New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote

Posted: Oct 06, 2026

Solutions Consultant, Digital Assets

Dubai Emirate, UAE · Remote