Usiamo cookie tecnici e il registro anonimo delle visite di Zorky. Yandex Metrica (dati conservati su server in Russia) funziona solo con il tuo consenso. Non vendiamo mai dati. Ulteriori informazioni su cookie e statistiche.
Zorky è in modalità test: è tutto gratuito. Le offerte e le pagine delle aziende sono aperte a tutti; i link agli annunci e la tua selezione personale si aprono dopo la registrazione. Registrati →

Offerte

Offerte IT live di aziende di tutto il mondo, da fonti pubbliche. Aggiornato ogni giorno. Chi siamo →
Filtro stack:programming-language
Software Engineer (Engineer III to Principal) - Formal Methods
principal14.375 USD · periodo non indicatoNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US →22 sett. fa
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 …
Mostra l'azienda →
1 / 1
Non hai trovato quello che cercavi? Carica il tuo CV nella nostra banca dati di candidati — zorky.tech/apply — oppure scrivi a @termdocs.