Wir verwenden technische Cookies und Besuchsstatistik: Yandex Metrica und das anonymisierte Besuchsprotokoll von Zorky. Wir verkaufen niemals Daten. Mehr zu Cookies und Statistik.
Zorky läuft im Testmodus — alles ist kostenlos. Diese Website ist nur eine Demo: Firmennamen, Links und Ihre persönliche Stellenauswahl werden nach der Registrierung freigeschaltet. Registrieren →
ZorkyZorky
Deutsch
@termdocs

Stellen

Aktuelle IT-Stellen von Unternehmen weltweit, aus öffentlichen Quellen. Täglich aktualisiert. Über uns →
Stack-Filter:model-checking
Software Engineer (Engineer III to Principal) - Formal Methods
principal14.375 USD · Zeitraum nicht angegebenNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US →vor 21 Wo.
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 …
Unternehmen anzeigen →
1 / 1
Nichts Passendes gefunden? Laden Sie Ihren Lebenslauf in unseren Kandidatenpool hoch — zorky.tech/apply — oder schreiben Sie @termdocs.