joblaze

Direct from source · No middlemen

Abstract Interpretation Jobs

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: 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 Ruby On Rails React Devops Machine Learning Golang