Remote Programming Languages Engineer

Job ID: Available for Members

Location: Nationwide

Compensation: To Be Discussed

Posted: Monday, March 26, 2018

Job Category: Information Technology

Telecommute Level: 100% Telecommute

Travel Requirements: No Travel

Weekly Hours: Full Time

Employer Type: Employer

Career Level: Experienced

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