joblaze

Direct from source · No middlemen

Deductive Verification Jobs in San Francisco

1 open positions · Updated 1 week ago

1 role Mid 1 New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Full-time newest 1 week ago

Also hiring: abstract interpretation automated reasoning data flow analysis programming language theory SAT/SMT solving symbolic model checking

Showing 1 of 1 positions

Search with filters →

Software Engineer (Engineer III to Principal) - Formal Methods

Join CertiK as a Software Engineer to develop tools ensuring the correctness of smart contracts in a collaborative environment.

CertiK New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Published 4 years ago

abstract interpretation automated reasoning SAT/SMT solving symbolic model checking programming language theory

Related searches

deductive verification Remote deductive verification in London deductive verification in New York deductive verification in Berlin deductive verification in Amsterdam Python in San Francisco Ruby On Rails in San Francisco React in San Francisco Devops in San Francisco Machine Learning in San Francisco Golang in San Francisco Typescript in San Francisco