【区块链安全】【独角兽公司】CertiK招聘区块链安全工程师/Blockchain Security Engineer

公司和团队
CertiK是一家区块链安全公司，核心业务包括对区块链相关项目进行安全审计并提供相应的安全支持，以及对区块链技术发展趋势的分析研究。公司总部位于纽约，成立于2018年，经过3年的发展，已成长为一个受各区块链项目方及投资方信任的公司，并且在相关市场的份额独占鳌头。

公司近期完成了B3轮融资，该轮融资由Insight Partners、Tiger Global和Advent International 领投，高盛和红杉、光速等现有投资者参投。这是公司在过去九个月中筹集的第四轮资金，总计2.3亿美元。至此，公司估值已达到了20亿美元。


招聘职位
区块链安全工程师/Blockchain Security Engineer (Rust/Golang)
All levels, from intern to principal


可参考链接
Blockchain Security Engineer Intern (Rust/Golang): https://jobs.lever.co/certik/96d4e550-747b-476c-aca6-1f4ef6d733b3
Principal Blockchain Security Engineer, Rust/Golang: https://jobs.lever.co/certik/f86f3079-1960-494e-a1f6-72db3c84af36


职位职责
该职位的主要职责是完成对各个区块链项目代码和模型层面的安全审计，包括代码分析、测试以及证明，工作内容与cyber security engineer相似，不过对模型逻辑的推敲方面有更高的要求。具体职责根据职位级别不同会有区别。


招聘期望
- 工作经验：对intern无要求，对principal level要求有三年以上安全或开发经验。
- 有较强团队沟通与合作能力，有能力深入了解并解决问题。
- 对web3/区块链技术有所了解并抱有热情。
- Rust/Golang/Wasm经验是加分项。
- 有较强数学专业背景是加分项。

详细情况以及其它职位的招聘情况可参考 https://jobs.lever.co/certik

paulisusu 发表于 2022-5-27 13:14
了解，我是看到jd里边并没有详细提这些，想具体了解一下。

这个我也概括不大好，因为很多客户的产品是涉及到一定的金融逻辑的，代码的安全性是一方面，模型的安全性也是一方面。代码的安全性可以参考cyber security；模型上的话非常多样，举个通俗点的例子我们需要看出一个金融产品里是否存在不正常套利的可能性。因为这些不大好概括，所以讲得有些笼统了。

paulisusu 发表于 2022-5-27 07:12
请问提到的模型测试、证明、和模型逻辑推敲是指通过形式化的方法完成审计吗？

从多个方面，并不只是通过某个方法

楼主你好，可以内推除了 区块链安全工程师/Blockchain Security Engineer (Rust/Golang) 的其他岗位吗

ng可以申请吗？

francislau 发表于 2022-5-19 23:56
ng可以申请吗？

可以的zszs

楼主，美国的职位sponsor H1B吗？

请问提到的模型测试、证明、和模型逻辑推敲是指通过形式化的方法完成审计吗？

paulisusu 发表于 2022-05-26 16:12:56
请问提到的模型测试、证明、和模型逻辑推敲是指通过形式化的方法完成审计吗？

了解，我是看到jd里边并没有详细提这些，想具体了解一下。

paulisusu 发表于 2022-05-26 22:14:07
了解，我是看到jd里边并没有详细提这些，想具体了解一下。

了解了，非常感谢。