为什么选择我们？
CertiK是区块链安全领域的先驱，利用一流的人工智能技术来保护和监控区块链协议和智能合约。CertiK成立于2018年，由耶鲁大学和哥伦比亚大学的教授创办，其使命是保护Web3世界的安全。CertiK将学术界的前沿创新应用于企业，使关键应用能够安全、正确地扩展。
投资者包括Insight Partners、Sequoia、Tiger Global、Coatue Management、Lightspeed、Advent International、SoftBank、Hillhouse Capital、高盛、Coinbase Ventures、币安、顺为资本、IDG资本、Wing、Legend Star、Danhua Capital等。
职位描述
• 管理一个团队，开发基于云的安全扫描平台，集成模拟环境/API服务，用于区块链系统审计/分析
• 研究并实现专有的验证引擎，用于区块链系统正确性的形式推理，基于形式验证/静态分析/模糊测试等方法
• 开发面向安全的区块链协议的功能模块，并维护相应的基础设施
• 构建基于启发式的漏洞检测工具，并构建缺陷数据库
• 对公共/私有区块链/智能合约系统进行安全审计/经济评估
• 汇总各种区块链方面的数据，并使用不同的统计/机器学习方法进行安全模式提取
要求
• 计算机科学/工程或相关领域的硕士学位
• 对编译器构造/编程语言设计有高级知识
• 对区块链软件系统的安全评估/统计可靠性分析具有高度专业知识
• 熟练掌握高维数据分析/概率推断/机器学习技巧
• 熟练使用Python/Typescript/Golang/OCaml/Docker/Kubernetes/Vagrant和云基础设施（AWS/GCP）
薪酬
每月183,000美元至200,000美元（全职）。该职位的确切薪酬将根据合格候选人的技能和经验确定。
#区块链
#初创公司
#招聘
CertiK将接受对该职位的申请，直至职位填补为止。关闭日期大约为2024年3月1日。
CertiK将持续接受对该职位的申请。
CertiK为全职员工提供医疗、视觉和牙科保险、401(k)计划与公司匹配、人身意外伤害和致残保险、HSA（高免赔额计划）、FSA以及其他福利，同时还提供灵活的带薪休假和节假日。CertiK还为业务拓展销售角色提供可变佣金计划。
根据联邦法律要求，所有被聘用的人员将需要验证身份和工作资格，并在入职时填写所需的雇佣资格验证表格。
CertiK自豪地成为一家平等机会雇主。我们不会因年龄、种族、肤色、信仰、性别、性取向、性别认同或表达、医疗状况、国籍、血统、公民身份、婚姻状况或民事伴侣/联合状况、身体或精神残疾、怀孕、分娩、遗传信息、军事和退伍军人状况或任何其他受适用联邦、州或地方法律禁止的基础上歧视任何申请人或员工。
CertiK将根据当地和联邦要求考虑就业资格审核合格申请人的雇佣。
https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf
CertiK要求所有员工积极支持团队和公司的多样性。 
纽约