Data Platform Developer and Analyst | Branża bankowa
midhybridWrocław, PL →4 sett. fa
KafkaMongoDBGraphQLSpring BootKafka ConnectSMT+6
O nas Społeczność Edge One Solutions powstała z miłości do nowych technologii. Liczymy ponad 350 ekspertów, a w Grupie Euvic, której jesteśmy częścią, jest nas już 5500. Indywidual…
Mostra l'azienda →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 →