Job Summary
An information technology company is in need of a Remote Programming Languages Engineer.
Must be able to:
- Research and strategize on core functions and behaviors
- Research and develop a language for programming
- Test and prove the correct implementation of that language
Applicants must meet the following qualifications:
- Have worked with programming languages in both formal and practical settings
- Familiar with distributed systems and blockchain programming languages
- 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 and experience in automated proof systems such Coq
- A rigorous background in formal programming languages, proof and type systems