Software Engineer (Engineer III to Principal) - Formal Methods - Remote

CertiK

143 weeks ago

CertiK

Blockchain

Smart Contracts

Programming Language Theory

Automated Reasoning

Join CertiK as a research software engineer to develop tools for ensuring the security and correctness of blockchain applications.