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
← All jobs

Software Engineer (Engineer III to Principal) - Formal Methods

principal14,375 USD · period not specifiedNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, USScore 69.9/10021w ago
Stack
automated-testingmodel-checkingabstract-algebraalgorithmmathematical-logicautomata-theorydata-structureprogramming-languageformal-verificationcicdsatsmt
Show company and link
Free. Sign in with email.
Apply
Upload your CV — we will connect you with the employer directly through our pool.
Send your CV →
Description
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 as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will build translators from input languages to intermediate representations, optimize models for automated analysis, run automated tests, and work across the full software lifecycle from design through deployment and support. You will collaborate with peers to set technical direction and iterate on tooling based on feedback and measured results.
Company and the link to apply — after you sign in. Sign in
Employer contacts (email/phone/telegram) are hidden from the public preview — send your CV, and we will connect you directly.
Urgent question? Message @termdocs