Jobs / United States / Technology & digital
✓ Verified opportunityTechnology & digitalRemote
Software Engineer (Engineer III to Principal) - Formal Methods
CertiK · United States
$115,000 - $230,000
Last checked 2h ago
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…
Key skills
symbolic model checkingSAT/SMT solvingabstract interpretationdata flow analysisdeductive verificationprogramming language theorysmart contract security
Your fit score
How well do you fit this job?
Add your CV and we score you against this role, then show you what to improve. It is free, and it unlocks the application link.
- Skills
- symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis and 3 more
- Your match is hidden until you add a CV
- Experience
- Senior level · 4+ years asked for
- Your match is hidden until you add a CV
- Education
- Master's degree
- Your match is hidden until you add a CV
- Location & access
- Remote · United States
- Your match is hidden until you add a CV
See my fit score — freeSign in
Your score is an estimate from your CV, not a promise of an interview or a job.