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

职位名称: 程序静态分析开发实习生

公司介绍:

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 万美金的空投）