Skip to main content
Back to jobs

Software Engineer (Engineer III to Principal) - Formal Methods

External
CertiK logoCertik · New York, NY
Full-timeRemote47mo ago
BlockchainComplianceRESTSmart Contracts
Cover LetterConnect

Prepare for this interview

Elite

AI-generated questions, company research, and talking points tailored to this role

About the role

Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class technology to secure and monitor blockchain protocols and smart contracts. CertiK's mission is to secure the cyber world. Starting with blockchain, CertiK applies cutting-edge innovations from academia into enterprise, enabling mission-critical applications to be built with security and correctness.

Responsibilities

  • About you

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 (includes internships, software developed during research, and open-source development).
  • Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines.
  • Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.

Benefits

Target annual base salary for this role performed in the US is $115,000 - $230,000.The exact compensation at which this job is filled will be determined by the skills and experience of qualified candidates.#LI-Remote#blockchain#startups#hiringIn compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements.https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdfAll CertiK employees are expected to actively support diversity on their teams, and in the Company.

Additional Information

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 and cannot be changed. Vulnerabilities and bugs in such programs regularly put millions of dollars at stake. This is where CertiK comes in. We are the leading blockchain security company. Our goal is to secure the cyber world by applying cutting edge techniques from academia to secure blockchain code. Come and join this ambitious mission as a research software engineer to work on automated analyses for provably secure and correct blockchain applications!

Your Match

How well this role fits your profile.

Company Intel

What employees say

Worked at CertiK? Share your experience

Interested in this role?

Apply on the company's website.

Cover LetterConnect