Używamy techniczne pliki cookie i statystyki odwiedzin: Yandex Metrica i zanonimizowany dziennik odwiedzin Zorky. Nigdy nie sprzedajemy danych. Więcej o cookies i statystykach.
Zorky działa w trybie testowym — wszystko jest bezpłatne. Ta strona to tylko demo: nazwy firm, linki i osobiste zestawienie ofert otwierają się po rejestracji. Zarejestruj się →
← Wszystkie oferty
Software Engineer (Engineer III to Principal) - Formal Methods
principal14 375 USD · okres nie podanyNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US →21 tydz. temu
Stack
Szczegóły
- Praktyki
- CI/CD
Pokaż firmę i link
Bezpłatnie, po zalogowaniu.
Aplikuj
Prześlij CV — pracodawcy i rekruterzy z różnych krajów, którzy szukają takiego profilu, będą mogli napisać do Ciebie bezpośrednio.
Wyślij CV →Opis
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.
Firma i link do aplikacji — po zalogowaniu. Zaloguj się
Kontakty pracodawcy (e-mail/telefon/Telegram) są ukryte w publicznym podglądzie. Wyślij CV — a pracodawcy będą mogli napisać do Ciebie sami.
Pilne pytanie? Napisz @termdocs