Jobs › US jobs › Software Engineer jobs in New York › Software Engineer (Engineer III to Principal) - Formal Methods
CertiK · New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote
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.
Read the full advert and apply on CertiK's site →
Collected from CertiK's own careers site (Lever). Posted 30 Jul 2022. TUNAI shows an excerpt and the facts it read from the advert; the employer's page has the full description and the application.
Himalayas
Does your CV match this job? Paste both and see exactly which of these skills it shows.
Check my CV against this job →