We use technical cookies and Zorky's de-identified visit log. Yandex Metrica (data is stored on servers in Russia) runs only with your consent. We never sell data. More about cookies and statistics.
Zorky is in test mode — everything is free. Jobs and company pages are open to everyone; links to postings and your personal feed open after you sign up. Sign up →
Jobs
Live IT jobs from companies worldwide, from public sources. Updated daily. About →
Stack filter:smt
Data Platform Developer and Analyst | Branża bankowa
midhybridWrocław, PL →4w ago
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…
Show company →Software Engineer (Engineer III to Principal) - Formal Methods
principal14,375 USD · period not specifiedNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US →22w ago
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 …
Show company →1 / 1