The Role
We are seeking talented Compiler Engineers to build a domain-specific language that abstracts the complexities of zero-knowledge proofs and allows developers to intuitively build applications. You should have a passion for open-source software and programming languages. You will collaborate with a core group of stakeholders and make decisions that will define the future of the blockchain.
Responsibilities
- Design and develop new language-level features, ranging from standard features like type inference to more advanced ones like first-class functions.
- Improve the quality of the compiler, including its internal abstractions, optimisations, and code generation passes. These will include well known ideas like compile time function evaluation as well as new concepts like datatype restructuring.
- Work with internal and external teams to improve the developer experience and tooling.
- Contribute to and maintain high-quality technical documentation to educate and empower Developers.
What we’re looking for
- Strong background in engineering, with an emphasis on compilers, programming languages or language-related tools.
- A foundation in blockchain concepts and, ideally, experience contributing to or working on a blockchain project.
- Proficiency in Rust.
Benefits
- Monthly budget for expenses (home office setup & supplies, transportation, fitness & personal well-being, continued learning, etc.).
- Comprehensive, top-tier healthcare coverage.
- Flexible vacation policy.
- Ability to attend major industry conferences and global events at the company’s expense.
- Regular team off-sites and retreats.
NOTE: We cannot sponsor visas of any kind at this time.
