CompilerJobs

Forwarded from Evgeny

Rust Engineer (AquaVM) @ Fluence Labs, Remote

We are looking for an engineer to work on the AquaVM (https://github.com/fluencelabs/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 https://fluence.one/aquavm-engineer.html or DM @voronovm

GitHub

GitHub - fluencelabs/aquavm: AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to

AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to - fluencelabs/aquavm

www.tgoop.com/compiler_jobs/98

751 viewsalekum, May 2, 2022 at 15:22

Rust Engineer (AquaVM) @ Fluence Labs, Remote

We are looking for an engineer to work on the AquaVM (https://github.com/fluencelabs/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 https://fluence.one/aquavm-engineer.html or DM @voronovm

BY CompilerJobs