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ę →
ZorkyZorky
Polski
@termdocs

Oferty

Aktualne oferty IT od firm z całego świata, ze źródeł publicznych. Aktualizowane codziennie. O nas →
Filtr stacku:programming-language
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
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 …
Pokaż firmę →
1 / 1