joblaze

Direct from source · No middlemen

Data Flow Analysis Jobs in New York

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 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

data flow analysis Remote data flow analysis in London data flow analysis in San Francisco data flow analysis in Berlin data flow analysis in Amsterdam Python in New York Ruby On Rails in New York React in New York Devops in New York Machine Learning in New York Golang in New York Typescript in New York