Job Summary
An IT company is filling a position for a Telecommute Programming Languages Engineer.
Must be able to:
- Research and strategize on core functions and behaviors of the blockchain
- Develop a language for programming on the blockchain to support benchmark decentralized apps
- Test and prove the correct implementation of that language within the blockchain
Must meet the following requirements for consideration:
- Expert knowledge of peer-to-peer distributed systems
- Knowledge of the protocol details of a widely-deployed public blockchain
- Experience building programming languages and language tooling
- A rigorous background in formal programming languages, proof and type systems
- Experience in automated proof systems such Coq
- Passion for building the new internet for decentralized apps
