Programming Languages Engineer

New York, NY or Remote
Engineering
Full-Time
Blockstack is looking for a passionate and experienced engineer to work with a team of distributed systems experts to implement a new blockchain architecture for Blockstack apps, decreasing transaction time and cost for the Blockstack ecosystem and enabling new functionality. This role is ideal for programming language engineers who are experts in developing programming languages and tooling for developer to write applications which are easy to use and reason about, and who are excited by the idea of a provably sound blockchain programming language.

You will:
- Research and strategize on core functions and behaviors of the Stacks blockchain
- Research and develop a language for programming on the Stacks blockchain with the goal of supporting benchmark decentralized applications
- Test and prove the correct implementation of that language within the Stacks blockchain— including the compiler or other translational systems

Qualifications
You have worked with programming languages in both formal and practical settings, are familiar with distributed systems and blockchain programming languages, and are passionate about the mission of building a new decentralized internet.

KPIs
- Deliver a programming language for the Stacks blockchain, which can support the benchmark use-cases of decentralized applications
- Implement a compiler which will translate that language into the code deployed on the blockchain itself
- Prove the correctness of that translation
    
Skills 
- 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

Qualities + Traits 
- Passion for building the new internet for decentralized apps  
- Strong problem solving skills, ability to think fast and thoroughly 
- Excellent communication