We use technical cookies and visit statistics: Yandex Metrica and Zorky's own de-identified visit log (cookie zk_aid). We never collect form contents, search text or full IP addresses, and never sell data. Opt out with the button below, or with Global Privacy Control or Do Not Track in your browser. More about cookies and statistics.
Zorky CRMZorky CRM
EN|RU
@termdocs

Jobs

Live IT jobs from companies worldwide, from public sources. Updated daily. About →
Stack filter:model-checking
Software Engineer (Engineer III to Principal) - Formal Methods
principal14,375 USD · period not specifiedNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US
automated-testingmodel-checkingabstract-algebraalgorithmmathematical-logicautomata-theory+6
You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs. You will implement and improve algorithms such …
Apply
1 / 1