Job Description
We are seeking a Senior Rust compiler Engineer to revolutionize the Move language ecosystem in Supra blockchain. Responsibilities include optimizing the Move compiler for blockchain use case, working closely with blockchain nodes/VMs to align the compiler runtime components & their requirements, ensuring backward compatibility and smooth upgrades for the Move language framework, and collaborating on Move Prover integrations to enable formal verification of smart contracts.
Integrate Rust based libraries and tools into the Move ecosystem. Propose innovations by competing ecosystems. Research cutting-edge compiler techniques and evaluate their applicability to Move. Write comprehensive unit/integrations tests for compiler features.
About Supra
Supra is pioneering the future of information services in global markets.