Responsibilities
- Write specifications for smart contracts.
- Develop smart contracts for the Tezos Blockchain in Haskell and other programming languages.
- Write unit and property tests for smart contracts.
- Integrate smart contracts into web and mobile applications.
- Document the smart contract integration process for third parties.
- Work with the Tezos Development community to solve problems related to smart contracts on the blockchain.
- Keep up with the latest change to the Tezos protocol.
- Support community member who use our contracts, libraries and related applications.

Qualifications
- 3+ years of software development experience.
- One of the following:
  - Experience writing smart contracts.
  - Experience writing software in Hasell.
- Good communication skills and self-guided.
- An interest in blockchains, cryptocurrencies and financial applications.

Nice to have non-requirements
- Experience with web development or mobile development.
- Experience with other distributed systems.
- Experience with proof systems (Coq, Agda, Isabelle, etc.).
- Interest in game theory, finance and/or economics.
- Strong math background