We use technical cookies and Zorky's de-identified visit log. Yandex Metrica (data is stored on servers in Russia) runs only with your consent. We never sell data. More about cookies and statistics.
Zorky is in test mode — everything is free. Jobs and company pages are open to everyone; links to postings and your personal feed open after you sign up. Sign up →
ZorkyZorky
Location
Where are you looking for work?
All countries →
English
@termdocs

Jobs

Live IT jobs from companies worldwide, from public sources. Updated daily. About →
Level
Work format
Location
Salary, $ per month
Only about one in twenty jobs states a salary: min/max keeps only those.
Tech stack
Any of the selected technologies
Posted
Exclude words
Jobs with these words in the title are hidden
automated-testing
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 →23w 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