Search 26 live jobs

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...

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. To further our mission of offering word-class zero-knowledge platforms and services, Aleo’s core engineering team is looking for a Swiss Army knife to help us handle a number of tasks including but not limited to technical documentation, automation, internal tools, and developer relations. In-line with the nature of an early stage startup, you’ll wear multiple hats which means you’ll also be involved with MarketingOps, Business Development, and general project management. You’ll report to our technical product manager and work cross-organizationally. What...

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...

Arch/RTL Team is the beginning of everything in our Company.. We have assembled a team of star performers with industry-leading performance, and we are hungry for even more. The team is primarily responsible for the implementation of the design, you will be defining the architecture of the chip, making sure it can deliver GPU-crushing performance and perf/watt, perf/$. Expectations: Defining architecture and microarchitecture of design modules Rapidly implementing hardware acceleration building blocks for specific algorithms PPA evaluation and optimization.   Qualifications (Must-have) Strong understanding of ASIC flow and PPA optimization skills . (Strong plus) High-speed I/O interface integration (DDR/PCIe/Serdes) (Strong plus) Covering some of the ASIC mid-end flow and verification work (Plus) FPGA prototyping and Emulation

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...

Description As a Senior Cryptography Engineer in Applied Cryptography at IOG you must be an engineer, an architect, an applied cryptographer and leader - it’s a multifaceted role. You have the exciting challenge of working with bleeding-edge research and technology, always with a focus on the market's needs. You will be a leader to an exceptional team. Working on everything from Post-Quantum prototypes to hand-optimisation of existing primitives to completely new products. To support you on this challenge, we have software architects, product managers, project managers, formal methods specialists and QA test engineers, with whom you must have high bandwidth communications. You must possess a pragmatic mindset for building great products, knowing how to balance features, compromise, technical debt and effort, in order to get products shipped whilst their market impact is high. Your mission Champion of the applied cryptography team Captain end to end development and...

Welcome to Aleo As Aleo’s head of business development, you will be responsible for guiding partnership strategies, defining the right rules of engagement, and helping scale the value proposition of new and existing Aleo products via the right set of partners. You will work closely with the product, engineering, marketing, and legal, and other departments, to deliver results. ‍ What You Will Be Doing: Build out and lead the business development function at Aleo, spanning both the core underlying technology (the Aleo network) and future products and services built on top. Work with the marketing and product executives to define a go-to-market strategy for Aleo, and provide feedback to the executive team on overall company strategy based on partnership opportunities. Evaluate, negotiate, and close foundational deals that create opportunities to leverage Aleo and promote our tech stack. Demonstrate fluency in the complex legal and business issues in contracts and...