CertiK
Software Engineer (Engineer III to Principal) - Formal Methods
US
UTC-10 to UTC-5 $115k to $230k per year Full time
Lead or Staff
- Where you can live
- New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote
- Working hours
- Overlap with UTC-10 to UTC-5
- Salary
- USD 115,000 to 230,000 per year
- Posted
- July 30, 2022
CI/CD
Web3
Summary from the posting
You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. We have software engineer positions available at all levels of seniority. Title and responsibilities will be commensurate with experience and background.
As part of our multinational team of programming language experts, you will participate in the development of tools that rest upon techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification.
This is a short summary. The full description, requirements and the application form are on CertiK's own career page.