Software Engineer (Engineer III to Principal) - Formal Methods
CertiKNew York, New York, United States • Seattle, Washington, United States • San Francisco, California, United States • United States
Posted July 30, 2022
115000 - 230000 USD year
Full Time
About the Company
CertiK uses AI to enhance blockchain security and has safeguarded digital assets worth billions since its inception.
Job Description
CertiK is a blockchain security company seeking a software engineer to work on automated analyses for provably secure and correct blockchain applications. The ideal candidate has a background in programming language theory and automated reasoning, with a proven track record of achieving results in computationally hard problems.
Requirements
- Master's Degree in Computer Science or a related field or 5 years of equivalent experience
- Minimum of 4 years of software development experience
- Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving, abstract interpretation, or closely related disciplines
Benefits
- Medical, vision, and dental insurance
- 401(k) plan with company matching
- Life and accidental death and dismemberment insurance
- HSA (with high deductible plan)
- FSA
- Flexible paid time off and holidays
- Variable commission program for business development sales roles