"formal verification" Jobs
12 open tech roles matching “formal verification”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: Blockchain, smart contracts, Cybersecurity. Every listing is re-checked daily and closed roles are removed.
Showing 12 of 12 results
Join CertiK as a Software Engineer to develop tools ensuring the correctness of smart contracts in a collaborative environment.
Join CertiK as a Solidity Compiler Frontend Engineer to develop and optimize blockchain compiler infrastructure and formal verification tools.
Join CertiK to tackle important problems in blockchain security as part of a dynamic startup environment.
Support the Engineering team in regulatory research and compliance deliverables at a leading Web3 security company.
Join CertiK as a Security Engineer to enhance blockchain security through auditing and consulting services.
Join CertiK as a Security Engineer to enhance blockchain security through innovative solutions and client engagement.
Drive commercial relationships with institutions in Singapore's digital asset landscape as a Business Development Manager.
Join CertiK as a Compliance Engineer to turn AI outputs into client deliverables in a leading Web3 security company.
Join CertiK as an IT Operations Specialist to support technical and non-technical teams in a fast-paced environment.
Lead compliance efforts in AML and virtual asset regulations at a leading Web3 security company.
Join CertiK as a public-facing Web3 security researcher, engaging with the community and representing the company at events.