• 注册
  • 当前位置: 数字游民指南 > 圈子 > 远程工作 > 正文
    远程工作 远程工作 关注:30 内容:635

    远程办公 区块链 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 邮箱

    || 数据来源:www.v2ex.com

    隐藏内容需要付费才可以看见

    马上购买

    请登录之后再进行评论

    登录

    赞助广告,谢谢理解

    我关注的圈子

    暂没有数据

  • 发表内容
  • 做任务