Formal Methods Engineer: Model Checking & Smart Contracts
York and North Yorkshire
CertiK is seeking a skilled software verification engineer to extend and enhance automated program verification tools.
Recruitment, verified at source. Specialist roles across healthcare, engineering, construction, education, logistics and 19 more sectors.
4 roles found
York and North Yorkshire
CertiK is seeking a skilled software verification engineer to extend and enhance automated program verification tools.
York and North Yorkshire
Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools
York and North Yorkshire
Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools
York and North Yorkshire
CertiK is seeking a skilled software verification engineer to extend and enhance automated program verification tools.
Worked with Verifera as a candidate or employer? Your honest review helps the next person trust verified hiring.