Senior Compiler Engineer (Miden)

ABOUT POLYGON LABS Polygon Labs is a software development company building and developing a network of aggregated blockchains via the AggLayer, secured by Ethereum. As public infrastructure, the AggLayer will bring together user bases and liquidity for any connected chain, and leverage Ethereum as a settlement layer. Polygon Labs has also contributed to the core development of several widely-adopted scaling protocols and tools for launching blockchains, including Polygon PoS, Polygon zkEVM, and Polygon Miden, which is in development as well as Polygon CDK. ABOUT MIDEN Polygon Miden aims to be the most innovative and easy-to-use zkRollup for Ethereum. We will enable use cases beyond what is currently possible with EVM-centric architectures, e.g. parallel transaction execution and account abstraction. At the heart of our rollup is the Miden Virtual Machine - a zk-optimized VM designed from the ground up. Currently, we focus on the rollup design, recursive verification, and developer experience. YOUR ROLE The Compiler Engineer role will be responsible for participating in developing the Miden compiler toolchain, including the Rust frontend tooling, the WebAssembly frontend, the compiler driver, the middle-end, and the Miden Assembly backend. Some of your tasks may also require working on other Miden projects, such as the VM. You will be implementing new features, expanding on existing ones, fixing compiler bugs, implementing optimizations, and improving the developer experience of the toolchain itself. You will also participate in design discussions, evaluate usability, gather feedback from and support experts in the field who are using the compiler, put your compiler engineering skills into practice, and evaluate and apply cutting-edge research, techniques, and tools to the development of the Miden compiler. See the latest release of our Miden Compiler https://docs.polygon.technology/miden/miden-compiler/. YOUR RESPONSIBILITIES - Support design and implementation of the Miden compiler to Miden assembly. - Improving and hardening the compiler frontend and gradually shift to trickier problems in the backend. - Provide feedback and inform design decisions of the Miden Virtual Machine, and features of the Miden Assembly language. - Interface with the teams working on designing and implementing higher-level languages we target. WHAT YOU'LL NEED - Prior experience working on production compilers or compiler projects, e.g. clang/gcc or LLVM/MLIR etc - Passion for compiler development and developer tooling. - Intellectual curiosity and willingness to learn. You don't have to know it all, so long as you make up for it in ability to pick up complex topics quickly, are comfortable digging into tricky algorithmic code, and are the type of person to dig in to a problem until you understand it thoroughly. - Experience in Rust. PREFERRED QUALIFICATIONS - Familiarity with smart contracts and Solidity. - Passionate about compiler technology and open-source software, and eager to learn - Interest in zero-knowledge proof-based blockchain systems and programming language design.

Polygon Labs is a software development company building and developing a network of aggregated blockchains via the AggLayer, secured by Ethereum. As public infrastructure, the AggLayer will bring together user bases and liquidity for any connected chain, and leverage Ethereum as a settlement layer. Polygon Labs has also contributed to the core development of several widely-adopted scaling protocols and tools for launching blockchains, including Polygon PoS, Polygon zkEVM, and Polygon Miden, which is in development as well as Polygon CDK.