远程办公 区块链 rust 工程师招聘

SmartContract Language and VM Engineer

智能合约让编程语言发挥出了更大的价值，而智能合约编程语言同时影响着应用的安全，表达能力，以及生态组合。我们认为智能合约编程语言的演进之路才刚刚开始，希望寻找对编程语言，虚拟机感兴趣的工程师来一起探索和完善智能合约编程语言。

[岗位职责]
参与 Move 编程语言以及虚拟机的设计与开发。
负责 Move 虚拟机的性能优化。
探索 Move 虚拟机和 Evm 虚拟机的融合。
[岗位要求]
熟悉 C++/Rust 编程语言。
熟悉编程语言相关的理论以及工具栈，有编程语言相关的开发经验。
熟悉任意语言的虚拟机，并有相关开发经验。
可以熟练使用英语和海外 Move 社区的开发者沟通。
有区块链智能合约虚拟机相关开发经验者优先。

SmartContract Formal Verification Engineer

Move 智能合约编程语言引入了一种新的形式化验证语言 Move Prover ，它和 Move 语言紧密结合在一起，给 Move 提供自动化的形式化验证能力。我们希望寻找对形式化验证感兴趣的研究者或工程师，来完善 Move Prover 。

[岗位职责]
参与 Move Prover 的设计与开发。
负责 Starcoin 系统智能合约的形式化验证逻辑的编写。负责核心 DApp 合约的形式化验证逻辑的编写。
[岗位要求]
熟悉形式化验证的理论和实践。
熟悉 C++/Rust 编程语言，或者愿意学习 Rust 。
可以熟练使用英语和海外 Move 社区的开发者沟通。

BlockChain Develop Engineer

参与区块链的开发与维护。

[岗位职责]
参与区块链的存储，网络，以及面向开发者的接口的开发。
参与区块链二层协议的设计与开发。
[岗位要求]
熟悉 C++/Rust 编程语言，或者愿意学习 Rust 。
有数据库，分布式系统等系统开发经验者优先。
熟悉区块链协议，以及二层协议者优先。

Developer Tools Engineer

Move 作为一种新的编程语言，周边的开发工具栈还不够完善。我们希望寻找到对打造开发工具感兴趣的工程师，来一起完善 Move 和 Starcoin 周边的开发工具。

[岗位职责]
参与 Move 以及 Starcoin 周边的开发工具开发，包括但不限于 cli ，IDE 等。
负责 Move 语言与其他语言进行交互的 sdk 以及代码生成工具。
负责 Starcoin 的各种语言 sdk 以及代码生成工具。
[岗位要求]
熟悉 Rust 编程语言，同时熟悉 Rust 之外的至少一门常用语言，多多益善。
有开发工具插件开发经验者优先，比如 vscode 插件。
有全栈能力者优先。

待遇每月 30k-70k 邮箱