CompilerJobs - vacancies for compilers

Rust Engineer (AquaVM) @ Fluence Labs, Remote We are looking for an engineer to work on the AquaVM (Ссылка скрыта AquaVM empowers the Fluence network with the fundamental possibilities that it offers: it interprets π-calculus-based AIR instructions on individual Fluence peers in a way that is composable, secure, and performant. AquaVM is the algorithmic core of the protocol that has super fancy problems to solve: practical process calculus, formal verification, circuit breaking, generating, verifying signatures and Merkle proofs for different data parts, and making sure that everything performs well thanks to signatures compaction, garbage collection, and other technics. You will join the team responsible for the AquaVM to work on the bleeding edge technologies related to Web3 and Wasm. Your primary language will be Rust. You will be supporting AquaVM, implementing brand new behaviors into it, doing research, and working on formal models. We expect: - 3+ years in a software engineer role - good knowledge of algorithms and data structures - excellent coding skills - ability to learn new technologies and languages fast - ability to go from design to implementation fast - experience with Rust or alternatively but less preferred C++ Nice to have: - experience with compilers or virtual machines - familiarity with WebAssembly standard - knowledge of cryptography - open-source software background Benefits: - Competitive compensation and equity options - Remote-first, work from home or use a co-working space of your choice - Friendly startup environment: no bureaucracy or time tracking - We will provide you with anything you need to learn, grow, and be more productive More details here Ссылка скрыта or DM @voronovm