Wir verwenden technische Cookies und das anonymisierte Besuchsprotokoll von Zorky. Yandex Metrica (Daten werden auf Servern in Russland gespeichert) läuft nur mit Ihrer Einwilligung. Wir verkaufen keine Daten. Mehr zu Cookies und Statistik.
Zorky läuft im Testmodus — alles ist kostenlos. Stellen und Unternehmensseiten sind für alle offen; Links zu den Anzeigen und Ihre persönliche Stellenauswahl gibt es nach der Registrierung. Registrieren →

Stellen

Aktuelle IT-Stellen von Unternehmen weltweit, aus öffentlichen Quellen. Täglich aktualisiert. Über uns →
Stack-Filter:formal-verification
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 22 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.