[远程] Certik 公司诚聘 区块链安全工程师

职位概述

## 公司介绍 CertiK 由耶鲁大学和哥伦比亚大学的教授于 2018 年创立，是区块链安全领域的先驱，利用一流的人工智能技术来保护和监控区块链协议和智能合约。CertiK 的使命是保护网络世界。从区块链开始，CertiK 将来自学术界的尖端创新应用到企业中，使任务关键型应用程序能够以安全和正确的方式构建。

职责描述

• 岗位职责
• 此职位的主要职责是负责 CertiK 的安全相关服务。CertiK 的安全产品与网络安全和区块链相交叉，包括安全咨询、安全审查、智能合约和区块链的安全审计、智能合约验证、渗透测试等。我们正在寻找对 Solidity 充满热情、对以太坊虚拟机 (EVM)、分布式计算和安全性有深入了解的人。候选人应该关注细节，并热衷于将他们的技能与创造力和洞察力相结合，以破解智能合约。这是一个有趣且具有挑战性的全职职位。如果您对黑客攻击、威胁建模、扫描、审计、设计和全面增强智能合约的安全性感到兴奋，那么您将在这个岗位中茁壮成长。
• 全职
• 对加密货币/Defi/区块链充满热情
• 至少 2 年以上（高级候选人为 3 年以上）作为 SWE 或安全工程师的专业经验
• 计算机科学/信息安全学士/硕士/博士
• 需要能够从宏观和微观的角度将抽象概念分解并重新组合在一起。
• 擅长将任何一个层面的松散想法紧密地编织成一个清晰的叙述。
• 需要能够将自己置于项目开发者以及攻击黑客的角色中审视代码。
• 实习
• 该实习适合在读硕士/博士生，或寻求解决现实世界区块链安全性和正确性挑战经验的优秀本科生。您应该熟悉以下领域之一：
• 使用交互式证明助手进行形式验证（例如，通过阅读软件基础教科书或类似内容），有用 Coq 编写的非凡项目的经验，精通Rust优先。
• 具有基于 SMT 的定理证明系统（Z3、Boogie、Why3 等）或模型检查器的经验。 有为编程语言构建验证工具的经验优先。
• 具有模糊测试工具或其他基于测试的软件缺陷检测和预防方法的经验。有为区块链工件构建测试工具的经验优先。
• 使用基于静态分析方法的工具来揭示区块链应用程序的源代码或低级代码的漏洞。有为任何类型的软件程序构建静态分析测试工具的经验者优先。
• 具有区块链 dApp（智能合约、协议等）审计经验。发现过任何潜在的安全漏洞者优先。
• 远程

任职要求

• 全职：对加密货币/Defi/区块链充满热情；至少2年以上（高级3年以上）SWE或安全工程师经验；计算机科学/信息安全学士/硕士/博士；能从宏观和微观角度拆解并重组抽象概念；能从开发者和攻击者双重视角审视代码。实习：适合在读硕士/博士或优秀本科生；熟悉形式化验证（如Coq，Rust优先）、编译器与函数式编程（Ocaml/Gallina）、SMT/模型检查（Z3/Boogie/Why3）、模糊测试、静态分析、或区块链dApp审计等方向之一。

薪酬说明

• 匹配专家岗位的薪资，为所有全职员工提供医疗、视力和牙科保险、人寿和意外死亡保险、HSA（高免赔额计划）、FSA 和其他福利，以及灵活的带薪休假和假期。

联系方式

• email:[email protected]
• https://jobs.lever.co/certik/0abc61b3-e283-4df0-af84-530c207696bb?lever-via=FQ7h4cuGZY
• https://jobs.lever.co/certik/d961cd21-44cf-4757-bc72-cc742fb7da2e?lever-via=FQ7h4cuGZY
• [email protected]

项目叙述

## 公司介绍 CertiK 由耶鲁大学和哥伦比亚大学的教授于 2018 年创立，是区块链安全领域的先驱，利用一流的人工智能技术来保护和监控区块链协议和智能合约。CertiK 的使命是保护网络世界。从区块链开始，CertiK 将来自学术界的尖端创新应用到企业中，使任务关键型应用程序能够以安全和正确的方式构建。 CertiK 是区块链安全领域发展最快、最值得信赖的公司之一，并已成为真正的市场领导者。迄今为止，我们已与超过 1800 家企业客户合作，帮助保护了价值超过 3100 亿美元的数字资产，并在区块链代码中检测到超过 31,000 个漏洞。我们的客户包括领先的项目，如 Aave、Polygon、Binance Smart Chain、Terra、Yearn 和 Chiliz。 ## 薪资福利待遇 匹配专家岗位的薪资，为所有全职员工提供医疗、视力和牙科保险、人寿和意外死亡保险、HSA（高免赔额计划）、FSA 和其他福利，以及灵活的带薪休假和假期。 - 工作地点：远程 - 内推or 咨询联系：[email protected] - 相关投递链接：[全职](https://jobs.lever.co/certik/0abc61b3-e283-4df0-af84-530c207696bb?lever-via=FQ7h4cuGZY) - 相关投递链接：[实习](https://jobs.lever.co/certik/d961cd21-44cf-4757-bc72-cc742fb7da2e?lever-via=FQ7h4cuGZY)

公司介绍

CertiK 由耶鲁大学和哥伦比亚大学的教授于 2018 年创立，是区块链安全领域的先驱，利用一流的人工智能技术来保护和监控区块链协议和智能合约。CertiK 的使命是保护网络世界。从区块链开始，CertiK 将来自学术界的尖端创新应用到企业中，使任务关键型应用程序能够以安全和正确的方式构建。 CertiK 是区块链安全领域发展最快、最值得信赖的公司之一，并已成为真正的市场领导者。迄今为止，我们已与超过 1800 家企业客户合作，帮助保护了价值超过 3100 亿美元的数字资产，并在区块链代码中检测到超过 31,000 个漏洞。我们的客户包括领先的项目，如 Aave、Polygon、Binance Smart Chain、Terra、Yearn 和 Chiliz。 CertiK 刚刚筹集了超过 1.4 亿美元，并得到了 Coatue、Tiger Global、红杉和高瓴资本的支持。

薪资福利待遇

匹配专家岗位的薪资，为所有全职员工提供医疗、视力和牙科保险、人寿和意外死亡保险、HSA（高免赔额计划）、FSA 和其他福利，以及灵活的带薪休假和假期。

地点

- 工作地点：远程 - 内推or 咨询联系：[email protected] - 相关投递链接：[全职](https://jobs.lever.co/certik/0abc61b3-e283-4df0-af84-530c207696bb?lever-via=FQ7h4cuGZY) - 相关投递链接：[实习](https://jobs.lever.co/certik/d961cd21-44cf-4757-bc72-cc742fb7da2e?lever-via=FQ7h4cuGZY)

工作性质

## 岗位要求、职责 - 是否全职：全职 兼职 实习 - 是否远程：远程

工作环境

远程

完整度元数据

缺失字段：salary

薄弱字段：无

风险标记：无

仅评论补充字段：无

标签：无