About the company
SupraOracles is here to define the future of information services in global markets! We are an exciting, ambitious, and well-funded startup with some unique technical capabilities that we believe will help cement us as a future leader in decentralized data. We’re a diverse team of professionals, academics, and advisors with experience from leading institutions such as the Euronext Stock Exchange, JPMorgan Chase, Qualcomm, ConsenSys, and Sony. Our global foundation is located in Switzerland, however we are a remote first company and you’ll be joining a globally distributed team distributed across over 29 countries! Our project is spearheaded by seasoned professionals with experience in the architecture of consensus mechanisms, randomness research, real-time data services, investment banking, digital securities, traditional stock exchanges, big data, doctoral academia, big 4 consulting, blockchain/DLT, and DeFi. Join us to help progress our solution to the Oracle Dilemma.
Job Summary
Responsibilities
📍Studying, comprehending and discussing research papers 📍Theoretical / mathematical and empirical evaluation of the research ideas 📍Implementing prototypes and / or production ready software 📍Are you the right person for this role?
The ideal candidate for us has:
Essential : 📍Knowledge of Floyd-Hoare Logic, Hoare triple 📍Knowledge of writing formal specifications in the logics mentioned above 📍A very good command over any one imperative programming language 📍Minimum of a Bachelor's degree in Computer Science or equivalent, with consideration for candidates in their final year of studies.
