V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
• 外包信息请发到 /go/outsourcing 节点。
• 不要把相同的信息发到不同的节点
mshoven
V2EX  ›  酷工作

有点硬核的 Web3 安全公司招人啦!

  •  
  •   mshoven · 40 天前 · 1856 次点击
    这是一个创建于 40 天前的主题,其中的信息可能已经有所发展或是发生改变。
    职位名称: 程序静态分析开发实习生

    公司介绍:

    GoPlus Network 是一个开放、无许可、用户驱动的 Web3 模块化用户安全层。我们致力于为用户提供全生命周期的安全保护,从交易创建到最终结算。通过去中心化的用户安全网络和先进的 AI 驱动安全解决方案,GoPlus 为用户提供智能高效的安全服务,致力于填补现有区块链架构中用户安全层的缺口,打造更加安全友好的 Web3 链上交互环境。我们支持多个区块链网络,并通过与 RPC 、Rollups 和 RaaS 项目的合作,进一步增强网络的去中心化和安全性,目前总计融资超过 2500 万美金。

    职位描述:

    我们正在寻找一名对编译器技术、静态分析和区块链安全充满热情的实习生,加入我们的团队。您将参与开发和优化基于自定义 Graph IR 的静态分析引擎,帮助识别 Web3 生态中的潜在安全威胁,并确保用户交易的安全性。

    工作职责:

    1. 参与 Solidity 静态分析引擎的设计和实现,识别智能合约中的恶意后门以及安全风险。
    2. 深入理解 Solidity 合约的结构与运行逻辑,设计并实现针对性的分析 Checker 。
    3. 研究编译原理中的图表示方法,优化自定义 Graph IR 的构建与转换。
    4. 应用数据流分析、符号执行等技术提升静态分析的准确性和效率。
    5. 撰写并维护技术文档,帮助团队更好地理解和应用静态分析工具。

    职位要求:

    1. 计算机科学、软件工程或相关专业本科或研究生在读,具备编译原理相关课程背景。
    2. 熟悉编译器技术,了解 LLVM IR 的经验更佳。
    3. 对 Solidity 和智能合约开发有一定了解,熟悉区块链技术优先。
    4. 精通 C++,具备扎实的代码能力,能够编写高效且安全的代码。
    5. 有较强的编程基础和算法功底,能够在图算法和编译优化领域进行深入研究。

    加分项:

    - 参与过静态程序分析或编译器项目。
    - 熟悉数据流分析、图算法、符号执行等技术。
    - 了解 Web3 生态及智能合约安全问题。

    我们提供:

    - 参与行业独角兽项目的机会,构建行业领先的智能合约代码静态分析引擎。
    - 灵活的工作时间和宽松的工作环境。
    - 经验丰富的技术团队指导和职业成长支持。
    - 进入 Web3 领域,获取最新的 alpha 机会。(引擎组过去一年人均拿了超过 1 万美金的空投😂😂😂)
    1 条回复    2024-08-23 16:39:04 +08:00
    jameszhangqk1
        1
    jameszhangqk1  
       40 天前
    远程吗? base 哪里?
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2102 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 22ms · UTC 13:21 · PVG 21:21 · LAX 06:21 · JFK 09:21
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.