What we're looking for

We are looking for an Applied Researcher to enhance our research works at SupraOracles.

The team is actively researching and developing in the core areas of fault tolerant distributed systems, formal verification, program analysis, interoperable blockchains, and cryptography and applying them in pushing the limits of blockchain technology in terms of scalability and reliability.

An ideal candidate brings in his / her expertise from the domains of mathematics, cryptography, formal methods, probability theory to rigorously analyse, reason and solve the challenging problems.

This exciting work involves interacting with researchers, building prototypes, experimenting, articulating, designing algorithms and implementing them.

We thrive on trust and honesty. We believe in the positive and ethical impacts these cutting-edge technologies in a decentralized environment can make on the world. Your alignment and cultural fitment to these core values and beliefs are of considerable value to us.

Responsibilities

• Studying, comprehending and discussing research papers
• Theoretical / mathematical and empirical evaluation of the research ideas
• Implementing prototypes and / or production ready software
• Lucid and articulate communication via discussions, reports / presentations / papers

Are you the right person for this role?

The ideal candidate for us has:

• Masters or PhD in computer science
• Published papers at top tier peer-reviewed venues in any of the fields of cryptography, distributed systems design, formal methods, algorithms
• Experience working in a research lab
• Good familiarity in a couple of programming languages in the list of Java, Rust, GoLang, JavaScript/NodeJS, Solidity (this mainly depends upon the project)
• Experience in working with GitHub codebases
• Hands-on experience on open source projects
• Standard algorithms and data structure knowledge
• Basic understanding of cryptography and smart contract development
• Pro-active communication and collaboration abilities with native-level proficiency in written and oral English
• Preferred: Mathematics background with strong hold on probability modelling and analysis.