Offer summary
Qualifications:
Proficiency in Rust, Experience with CPU assembly code, Experience writing virtual machine interpreters, Strong communication skills.Key responsabilities:
- Build tools for verifiable programs
- Define instruction sets and program representations