Rust Jobs for Rustaceans

Key Responsibilities:

• Build tools to express computations on two types of novel machines, one digital and one virtual.
• Expression of verifiable programs with ZK constraint systems.
• You will work closely with the hardware and cryptography teams to define both the instruction sets and high-level program representations

Requirements:

• Proficiency in Rust
• Functional programming
• Experience writing CPU assembly code
• Experience writing virtual machine interpreters or emulators
• Strong written and verbal communications skills
• Ability to think across layers of abstractions
• Understanding of technology tradeoffs and a pragmatic approach to problem solving
• Desire to work in a fast-paced startup environment
• Familiarity with WebAssembly or RISC-V
• Experience writing compilers
• Experience with non-standard ISAs
• Experience with hardware accelerators for AI/ML
• Understanding of formal verification techniques
• Understanding of zero-knowledge cryptography