Remote Programming Languages Engineer

Job is Expired
Location: Nationwide
Compensation: To Be Discussed
Staff Reviewed: Mon, Mar 26, 2018

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

COMPLETE JOB DESCRIPTION

The job description is available to subscribers. Subscribe today to get the full benefits of a premium membership with Virtual Vocations. We offer the largest remote database online...

BECOME A PREMIUM MEMBER TO
UNLOCK FULL JOB DETAILS & APPLY

  • ACCESS TO FULL JOB DETAILS AND APPLICATION INFORMATION
  • HUMAN-SCREENED REMOTE JOBS AND EMPLOYERS
  • COURSES, GROUP CAREER COACHING AND RESOURCE DOWNLOADS
  • DISCOUNTED CAREER SERVICES, RESUME WRITING, 1:1 COACHING AND MORE
  • EXCELLENT CUSTOMER SUPPORT FOR YOUR JOB SEARCH