Consensus - Distributed Systems Researcher - Architect

Company Name
5ire
Company Website
5ire.org
Contact email
zakaria@5ire.org
Date
Oct 21, 2021
Workspace
Remote
Location
London, UK
Type
Full time

5ireChain is a fifth-generation blockchain that aims to bring a paradigm shift from a for-profit to a for-benefit economy. 5ire's mission is to accelerate the implementation of the United Nations 2030 Agenda for Sustainable Development. 

“We’re building 5ireChain to eliminate intermediaries and bring all the impact makers onto a level playing field where they can use the shared language of the UN SDGs. We want businesses to act as a force for good and help move the world from a for-profit paradigm to a for-benefit paradigm, facilitating the transition from the fourth industrial revolution to the fifth industrial revolution and building for-benefit incentive and reward distribution mechanisms. We are currently in a research phase, working with models and simulations. In the near future, we will start implementing the research. You will have the opportunity to participate in developing -and improving- the state of the art of blockchain technologies, as well as turning them into a reality. You’ll be working directly with the existing research and development team.

Areas of interest:

Complexity theory, approximation algorithms, algorithmic game theory, mechanism design, computational social choice, crypto-economics, and governance. Consensus protocols, finality gadgets, inter-operability across blockchains, zero-knowledge proofs.

Key Responsibilities:

This role is dedicated to pure research

  • Designing and analyzing incentive mechanisms (rewards, slashings, handling of reports) of decentralized protocols.

  • Primarily, ensuring that solutions are sound and diving deeper into their formal definition.

  • Additionally, he/she would be regularly going through papers, bringing new ideas, and staying up-to-date.

  • Designing, specifying, and verifying distributed systems by leveraging formal and experimental techniques.

  • Conducting theoretical and practical analysis of the performance of distributed systems.

  • Researching new techniques for designing, analyzing, and implementing dependable distributed systems.

  • Publishing and presenting research results both internally and externally.


What will help you get there? 

  • Strong background in Computer Science and Mathematics, or a related area.

  • Academic background (The ability to analyze, digest, and improve the State of the Art in our fields of interest. Specifically, familiarity with formal proofs and/or the scientific method.)

  • Distributed Systems with a focus on Blockchain

  • Analysis of algorithms Familiarity and/or complex systems modeling software

  • Deep knowledge of algorithms (much more academic, such as have dealt with papers, moving from research to pragmatic implementation)

  • Experience in analyzing the correctness and security of distributed systems.

  • Familiarity with the application of formal method techniques. (Provable security, Security proofs … would be a plus.)

  • Comfortable with “reverse engineering” code

  • Publications in system security, applied cryptography, distributed systems, or privacy are highly desirable.

  • Experience in multi-agent decision-making mechanisms such as committee elections, referenda, auctions, and general on-chain governance is not required but would be a significant advantage.

  • Willingness to explore the state of art of multi-agent decision-making properties such as proportional representation, transparency, strategy proofness, and participation encouragement.