joblaze

Direct from source · No middlemen

Sat Smt Solving 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 deductive verification programming language theory 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

sat smt solving Remote sat smt solving in London sat smt solving in New York sat smt solving in Berlin sat smt solving 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