What to check before applying
This listing is categorized as Engineering. Compare the responsibilities and required experience with your background. Check the employer's application page for the latest availability, work authorization rules, and deadlines.
The role is described as remote (USA). Remote does not always mean applicants from every country qualify; confirm your country and time-zone eligibility.
Listed compensation: USD 115k–230k / year. Check the currency, pay period and whether the range applies to your location.
Full job description
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…
Common questions about this role
Is Software Engineer (Engineer III to Principal) - Formal Methods at CertiK a remote job?
Yes. The listing describes a fully remote full-time role, with applications described for United States. The employer notes: USA.
What does this role pay?
The employer lists USD 115k–230k / year. Pay for remote roles is often negotiable, and some employers adjust by location.
How do I apply?
Use the apply button to open the application link supplied with the listing. It may lead to a partner board.