Usamos cookies técnicas y el registro de visitas anonimizado de Zorky. Yandex Metrica (los datos se guardan en servidores en Rusia) solo se activa con tu consentimiento. Nunca vendemos datos. Más sobre cookies y estadísticas.
Zorky está en modo de prueba: todo es gratis. Los empleos y las páginas de empresas están abiertos a todos; los enlaces a las ofertas y tu selección personal se abren tras registrarte. Regístrate →
Empleos
Empleos IT en vivo de empresas de todo el mundo, de fuentes públicas. Actualizado a diario. Acerca de →
Filtro de stack:smt
Data Platform Developer and Analyst | Branża bankowa
midhybridWrocław, PL →hace 4 sem.
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…
Mostrar empresa →Software Engineer (Engineer III to Principal) - Formal Methods
principal14.375 USD · periodo no indicadoNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US →hace 22 sem.
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 …
Mostrar empresa →1 / 1