Supra
Principal Researcher
Supra, Berkeley, California, United States, 94709
What we're looking forWe 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.
#J-18808-Ljbffr
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.
#J-18808-Ljbffr