We believe that everyone’s money should be secure. Billions of people around the world don't have a safe place to store their money. Their banks can't be trusted. Their governments inflate their currency to pay off debts, hurting citizens. Our mission at Reserve is to change that. Reserve is a stable, decentralized currency that can’t be abused by a government. It’s globally distributed and outside of anyone’s control, so bad governments can’t shut it down.

Without formal verification, any nontrivial contract deployed on the blockchain will eventually fail, but the tools for carrying out verification on these contracts are still in their infancy. You will take on the critical challenge of formally verifying that our smart contract is correct and secure. Here are some responsibilities you’ll take on for that goal:

• Informing our contract architecture, to make it an easier target for verification.
• Guiding and verifying our contract specification effort.
• Developing tools for increased quality assurance of Ethereum smart contracts.
• Educating other engineers in the use of your tools.
• Seeking out, and insisting upon, further ways to make our software more reliable.
• Lucidly communicating your technical reasoning and development plans.
• Writing technical documentation.