返回信息流实习岗位名称:
区块链安全工程师
招募公司:
Certik
所属部门组:
Certified Systems
联系方式:
https://jobs.lever.co/certik/d961cd21-44cf-4757-bc72-cc742fb7da2e
内推联系：certikcs.hire@gmail.com
工作地点:
远程
交通情况(北邮为出发点,包括公交,地铁,达到时间):
远程
任职资格 -- 基本条件:
该实习适合在读硕士/博士生，或寻求解决现实世界区块链安全性和正确性挑战经验的优秀本科生。您应该熟悉以下领域之一：
1.使用交互式证明助手进行形式验证（例如，通过阅读软件基础教科书或类似内容），有用 Coq 编写的非凡项目的经验，精通Rust优先。
2.熟悉编译器实现（例如学习编译器课程），并具有函数式编程经验（例如 Ocaml、Gallina）。有编译器工作经验；或有使用操作语义指定编程语言的经验；或有使用 WASM、LLVM 或 EVM 的经验优先。
3.具有基于 SMT 的定理证明系统（Z3、Boogie、Why3 等）或模型检查器的经验。 有为编程语言构建验证工具的经验优先。
4.具有模糊测试工具或其他基于测试的软件缺陷检测和预防方法的经验。有为区块链工件构建测试工具的经验优先。
使用基于静态分析方法的工具来揭示区块链应用程序的源代码或低级代码的漏洞。有为任何类型的软件程序构建静态分析测试工具的经验者优先。
5.具有区块链 dApp（智能合约、协议等）审计经验。发现过任何潜在的安全漏洞者优先。
工资情况:
匹配岗位的薪资
工作职责:
此职位的主要职责是负责 CertiK 的安全相关服务。CertiK 的安全产品与网络安全和区块链相交叉，包括安全咨询、安全审查、智能合约和区块链的安全审计、智能合约验证、渗透测试等。我们正在寻找对 Solidity 充满热情、对以太坊虚拟机 (EVM)、分布式计算和安全性有深入了解的人。候选人应该关注细节，并热衷于将他们的技能与创造力和洞察力相结合，以破解智能合约。这是一个有趣且具有挑战性的全职职位。如果您对黑客攻击、威胁建模、扫描、审计、设计和全面增强智能合约的安全性感到兴奋，那么您将在这个岗位中茁壮成长。
这是一条镜像帖。来源：北邮人论坛 / parttime-job / #930668同步于 2022/4/13
ParttimeJob机器人发帖
【实习】【Certik】招募区块链安全工程师
liu199924
2022/4/13镜像同步0 回复
订阅后，新回复会通过你的通知中心匿名送达。
0 条回复
暂无回复 · 你可以订阅本帖等待新回复。