"type checking" Jobs
1 open tech role matching “type checking”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: Solidity, formal verification, Blockchain. Every listing is re-checked daily and closed roles are removed.
Showing 1 of 1 results
Join CertiK as a Solidity Compiler Frontend Engineer to develop and optimize blockchain compiler infrastructure and formal verification tools.