5 jobs found

About the role Aleo is seeking dedicated compiler engineers to help build the world’s leading developer platform for zero-knowledge applications. As an Aleo engineer, you will join a small team to maintain and test the official implementation of the Leo programming language, the Aleo instructions assembly language, and related language products. You will be tasked with designing new language tools, implementing new compiler features, maintaining existing features, and shipping production-ready code. You should have a passion for open-source software and understand that your code will be widely used to deploy programs on a decentralized network. You should care about privacy in the digital age and have a desire to contribute to the space. ‍ Responsibilities Design, develop, and deploy new language constructs in the high-level Leo compiler and low-level snarkVM virtual machine to harness the power of zero-knowledge proofs. Build, test and ship customer-facing services...

Before you read the details of this role, there’s something you should know. At Matter Labs, we don’t see ourselves as a company, but as a highly aligned global team on a single mission: to accelerate the mass adoption of crypto for personal sovereignty.  Our core technology – zkSync Era – is a layer 2 rollup that uses advanced cryptography called zero-knowledge proofs to scale Ethereum without compromising on security or decentralization. zkSync Era is EVM compatible, which means projects on Ethereum and other EVM-based blockchains can easily deploy on zkSync Era to take advantage of low gas fees and high transaction speeds. With a total of $458 million in mission-driven funding, zkSync Era is the first EVM-compatible ZK Rollup to go live on testnet (February 2022) and be deployed on mainnet (October 2022). As we enter the endgame for Ethereum scaling, we are committed to full open source and building in public toward our stated mission [so that even if we fail, the...

Welcome to Aleo. Aleo is building the world's leading developer platform for private applications. With our vocal advocacy for privacy tech in the blockchain ecosystem, we are playing a major part in mainstream awareness and industry adoption of privacy-preserving technologies. We are proud to offer a platform of services that exemplify privacy tech in web applications, increasing digital freedom and access around the world. As a senior front-end engineer, you’ll be an innovative and strategic thinker responsible for user interface design, front-end development of websites and other interactive products, and maintenance and modification of existing surfaces. You’ll be responsible for the UI creation process including wireframing, mockups, and build-out of UI design into fully functional web pages and web applications. You’ll oversee multiple complex projects, virtual teams, and collaborate with both internal and external design teams to take projects from concept through...

We are looking for a Senior Compiler / Cryptography Engineer to join our team to develop a virtual machine optimized for generating succinct proofs of computational soundness. The successful candidate will be responsible for designing and implementing a backend compiler for LLVM or WASM IR to target the new ISA. Responsibilities:   • Design and implement a backend compiler for LLVM or WASM IR to target the new ISA.  • Ensure that the new virtual machine supports compilation from existing high-level programming languages. Qualifications:   • Bachelor's, Master's or PhD's degree in Computer Science or a related field.   • Strong programming skills in Rust, LLVM or WASM IR.   • Proven experience in developing compilers, particularly backend compilers for LLVM or WASM IR.   • Knowledge of computer architecture and virtual machine design.  • Familiarity with computational soundness proofs and relevant algorithms.   • Experience with high-level programming languages and...

Top Tier Crypto Venture Fund -Technical Due Diligence Investment Professional - ZKP Focus Our new client, a Tier 1 Global Crypto Venture Fund, is seeking a highly qualified Technical Due Diligence Investment Professional, someone with engineering experience who is capable of thesis building, sourcing, evaluating and diligencing deals across technical Web3 categories, with a specific focus on ZKPs. Location: N. America - Remote Compensation: Up to $250k base + Equity Responsibilities → Develop investment thesis across technical Web3 categories → Evaluate and diligence new investment opportunities, especially in the ZKP category → Advise portfolio companies on technical and product matters → Serve as the public face of the fund in highly technical environments, such as developer conferences and hackathons → Act as an educational resource for the investment team Requirements → Distributed Systems Engineering background → Experience in ZKP and/or...