We use technical cookies and visit statistics: Yandex Metrica and Zorky's de-identified visit log. We never sell data. More about cookies and statistics.
Zorky is in test mode — everything is free. This site is just a demo: company names, links and your personal feed open after you sign up. Sign up →
ZorkyZorky
EN|RU|PL|DE|ES|FR|PT
@termdocs

Jobs

Live IT jobs from companies worldwide, from public sources. Updated daily. About →
Stack filter:programming-language
Software Engineer (Engineer III to Principal) - Formal Methods
principal14,375 USD · period not specifiedNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US21w ago
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 …
Show company →
1 / 1