joblaze

Direct from source · No middlemen

Abstract Interpretation Jobs in Bay Area

1 open positions · Updated 1 month ago

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

Also hiring: automated reasoning data flow analysis deductive verification 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

abstract interpretation Remote abstract interpretation in London abstract interpretation in New York abstract interpretation in San Francisco abstract interpretation in Berlin abstract interpretation in Amsterdam Python in Bay Area Ruby On Rails in Bay Area React in Bay Area Devops in Bay Area Machine Learning in Bay Area Golang in Bay Area