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

[buildchain2]

公司介绍

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 咨询联系：certikcs.hire@gmail.com
• 相关投递链接：全职
• 相关投递链接：实习

工作性质

• 是否全职：全职 兼职 实习
• 是否远程：远程

岗位要求、职责

岗位职责
此职位的主要职责是负责 CertiK 的安全相关服务。CertiK 的安全产品与网络安全和区块链相交叉，包括安全咨询、安全审查、智能合约和区块链的安全审计、智能合约验证、渗透测试等。我们正在寻找对 Solidity 充满热情、对以太坊虚拟机 (EVM)、分布式计算和安全性有深入了解的人。候选人应该关注细节，并热衷于将他们的技能与创造力和洞察力相结合，以破解智能合约。这是一个有趣且具有挑战性的全职职位。如果您对黑客攻击、威胁建模、扫描、审计、设计和全面增强智能合约的安全性感到兴奋，那么您将在这个岗位中茁壮成长。
全职

• 对加密货币/Defi/区块链充满热情
• 至少 2 年以上（高级候选人为 3 年以上）作为 SWE 或安全工程师的专业经验
• 计算机科学/信息安全学士/硕士/博士
• 需要能够从宏观和微观的角度将抽象概念分解并重新组合在一起。
• 擅长将任何一个层面的松散想法紧密地编织成一个清晰的叙述。
• 需要能够将自己置于项目开发者以及攻击黑客的角色中审视代码。

实习

该实习适合在读硕士/博士生，或寻求解决现实世界区块链安全性和正确性挑战经验的优秀本科生。您应该熟悉以下领域之一：

1. 使用交互式证明助手进行形式验证（例如，通过阅读软件基础教科书或类似内容），有用 Coq 编写的非凡项目的经验，精通Rust优先。
2. 熟悉编译器实现（例如学习编译器课程），并具有函数式编程经验（例如 Ocaml、Gallina）。有编译器工作经验；或有使用操作语义指定编程语言的经验；或有使用 WASM、LLVM 或 EVM 的经验优先。
3. 具有基于 SMT 的定理证明系统（Z3、Boogie、Why3 等）或模型检查器的经验。 有为编程语言构建验证工具的经验优先。
4. 具有模糊测试工具或其他基于测试的软件缺陷检测和预防方法的经验。有为区块链工件构建测试工具的经验优先。
5. 使用基于静态分析方法的工具来揭示区块链应用程序的源代码或低级代码的漏洞。有为任何类型的软件程序构建静态分析测试工具的经验者优先。
6. 具有区块链 dApp（智能合约、协议等）审计经验。发现过任何潜在的安全漏洞者优先。

工作环境

远程

[github-actions]

欢迎您提交招聘信息，Rebase 会整理招聘内容，通过公众号发出。