Software Engineer (Engineer III to Principal) - Formal Methods

CertiK · Remote, USA

Full-timeRemoteToday

Not open to applicants in Nigeria. This employer hires from: United States only. Apply only if you are based there.

Wrong label? ·

Your match score

Scored out of 100 against your CV

We only show a number once we have read your CV. Before that, any number would be a guess.

Score, strengths and gaps· upload your CV to unlock

Apply for this role ↗

About this role

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

Sourced via Jobicy · HirePadi job board

← Browse all jobs