Вакансии
Актуальные IT-вакансии из 1000+ источников СНГ и Европы. Обновляется ежедневно. О компании →
Фильтр по стеку:algorithm
Software Engineer (Engineer III to Principal) - Formal Methods
principal~$14.4K /moNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, EN
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 …
Blockchain Security Expert - Anti Defect Track
remote~$10K /moUS / Remote, EN
auditnodejsverificationattack-modelblockchainstatic-analysis+6
You will discover and analyze security vulnerabilities in blockchain smart contracts, participate in security audits, evaluate and define attack models, summarize exploited code to…
1 / 1